Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_mathematicallogicandformallanguages 95 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 93 Treffer
- proof assistant 85 Treffer
- discrete mathematics 75 Treffer
- 01 natural sciences 62 Treffer
-
45 weitere Werte:
- computer science::logic in computer science 58 Treffer
- theoretical computer science 56 Treffer
- algebra 54 Treffer
- mathematical proof 54 Treffer
- 02 engineering and technology 50 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 48 Treffer
- 0102 computer and information sciences 47 Treffer
- 010201 computation theory & mathematics 47 Treffer
- computer 45 Treffer
- computer.software_genre 38 Treffer
- programming language 37 Treffer
- calculus 36 Treffer
- type theory 34 Treffer
- pure mathematics 33 Treffer
- automated theorem proving 30 Treffer
- 020207 software engineering 28 Treffer
- algorithm 28 Treffer
- computer science::programming languages 26 Treffer
- 0101 mathematics 24 Treffer
- correctness 24 Treffer
- formal proof 24 Treffer
- artificial intelligence 22 Treffer
- 010102 general mathematics 21 Treffer
- computational theory and mathematics 21 Treffer
- software 21 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 20 Treffer
- general computer science 19 Treffer
- 020201 artificial intelligence & image processing 18 Treffer
- coq 17 Treffer
- axiom 16 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 16 Treffer
- business 15 Treffer
- business.industry 15 Treffer
- inductive type 15 Treffer
- type (model theory) 15 Treffer
- calculus of constructions 14 Treffer
- constructive 14 Treffer
- decidability 14 Treffer
- fos: computer and information sciences 14 Treffer
- 16. peace & justice 13 Treffer
- applied mathematics 13 Treffer
- formal verification 13 Treffer
- proof theory 13 Treffer
- rewriting 13 Treffer
- computational mathematics 12 Treffer
Verlag
- springer berlin heidelberg 76 Treffer
- springer international publishing 29 Treffer
- elsevier bv 25 Treffer
- springer science and business media llc 23 Treffer
- ieee 10 Treffer
-
23 weitere Werte:
- acm 9 Treffer
- arxiv 5 Treffer
- cambridge university press (cup) 5 Treffer
- centre pour la communication scientifique directe (ccsd) 4 Treffer
- walter de gruyter gmbh 4 Treffer
- easychair 3 Treffer
- wiley 3 Treffer
- association for computing machinery (acm) 2 Treffer
- ios press 2 Treffer
- oxford university press (oup) 2 Treffer
- a.p. ershov institute of informatics systems sb ras 1 Treffer
- aarhus university library 1 Treffer
- hindawi limited 1 Treffer
- ieee comput. soc 1 Treffer
- igi global 1 Treffer
- informa uk limited 1 Treffer
- institute of electrical and electronics engineers (ieee) 1 Treffer
- mdpi 1 Treffer
- mdpi ag 1 Treffer
- science china press., co. ltd. 1 Treffer
- springer london 1 Treffer
- springer netherlands 1 Treffer
- universidad tecnologica nacional 1 Treffer
Publikation
- journal of automated reasoning 12 Treffer
- electronic notes in theoretical computer science 8 Treffer
- mathematical structures in computer science 6 Treffer
- journal of symbolic computation 4 Treffer
- logical methods in computer science 4 Treffer
-
45 weitere Werte:
- epic series in computing 3 Treffer
- formalized mathematics 3 Treffer
- theoretical computer science 3 Treffer
- applicable algebra in engineering, communication and computing 2 Treffer
- computational geometry 2 Treffer
- fundamenta informaticae 2 Treffer
- 2013 15th international symposium on symbolic and numeric algorithms for scientific computing 1 Treffer
- 2013 28th annual acm/ieee symposium on logic in computer science 1 Treffer
- 2015 ieee 13th international symposium on intelligent systems and informatics (sisy) 1 Treffer
- 2015 ieee international conference on industrial engineering and engineering management (ieem) 1 Treffer
- 2017 36th chinese control conference (ccc) 1 Treffer
- 2018 ieee international conference of safety produce informatization (iicspi) 1 Treffer
- 2019 chinese automation congress (cac) 1 Treffer
- 2019 international conference on electromagnetics in advanced applications (iceaa) 1 Treffer
- 2020 ieee international conference on advances in electrical engineering and computer applications( aeeca) 1 Treffer
- acta informatica 1 Treffer
- advances in applied clifford algebras 1 Treffer
- aeu - international journal of electronics and communications 1 Treffer
- ajea 1 Treffer
- annals of mathematics and artificial intelligence 1 Treffer
- annals of pure and applied logic 1 Treffer
- archive for mathematical logic 1 Treffer
- biochemistry 1 Treffer
- biomedica biochimica acta 1 Treffer
- communications in mathematical physics 1 Treffer
- comptes rendus mathematique 1 Treffer
- ecology 1 Treffer
- european journal of mechanics - b/fluids 1 Treffer
- formal aspects of computing 1 Treffer
- ieee transactions on computer-aided design of integrated circuits and systems 1 Treffer
- ifac proceedings volumes 1 Treffer
- iie transactions 1 Treffer
- information processing letters 1 Treffer
- innovations in systems and software engineering 1 Treffer
- international journal of applied mathematics and computer science 1 Treffer
- journal of applied mathematics 1 Treffer
- journal of computational and applied mathematics 1 Treffer
- journal of logic and computation 1 Treffer
- journal of logical and algebraic methods in programming 1 Treffer
- journal of scientific computing 1 Treffer
- lms journal of computation and mathematics 1 Treffer
- mathematics 1 Treffer
- pattern recognition 1 Treffer
- proceedings of the acm on programming languages 1 Treffer
- proceedings of the joint meeting of the twenty-third eacsl annual conference on computer science logic (csl) and the twenty-ninth annual acm/ieee symposium on logic in computer science (lics) 1 Treffer
233 Treffer
-
In: Mathematics, Jg. 9 (2021-06-14), S. 1377-1377Online unknownZugriff:
-
In: 2019 Chinese Automation Congress (CAC), 2019-11-01Online unknownZugriff:
-
In: Computational Geometry, Jg. 45 (2012-10-01), Heft 8, S. 436-457Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 323 (2004-09-01), Heft 1-3, S. 399-442Online unknownZugriff:
-
In: 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013-09-01Online unknownZugriff:
-
In: 2017 36th Chinese Control Conference (CCC), 2017-07-01Online unknownZugriff:
-
In: SCIENTIA SINICA Mathematica, Jg. 51 (2020-08-07), S. 115-115Online unknownZugriff:
-
In: Journal of Logical and Algebraic Methods in Programming, Jg. 84 (2015-05-01), S. 377-401Online unknownZugriff:
-
In: Journal of Applied Mathematics, Jg. 2014 (2014), S. 1-9Online unknownZugriff:
-
In: Logical Methods in Computer Science, Jg. 12 (2016-06-22)Online unknownZugriff:
-
In: 2015 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), 2015-12-01Online unknownZugriff:
-
2016Online unknownZugriff:
-
In: Innovations in Systems and Software Engineering, Jg. 6 (2010-04-23), S. 195-202Online unknownZugriff: