Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 16 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 16 Treffer
- mathematics 16 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 12 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 12 Treffer
-
45 weitere Werte:
- 020207 software engineering 9 Treffer
- computer science::logic in computer science 9 Treffer
- proof assistant 9 Treffer
- computer science 8 Treffer
- 0101 mathematics 7 Treffer
- 010102 general mathematics 7 Treffer
- 020201 artificial intelligence & image processing 6 Treffer
- computer 6 Treffer
- automated theorem proving 5 Treffer
- algebra 4 Treffer
- computer science - logic in computer science 4 Treffer
- computer science::programming languages 4 Treffer
- computer.software_genre 4 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 4 Treffer
- fos: computer and information sciences 4 Treffer
- general computer science 4 Treffer
- logic in computer science (cs.lo) 4 Treffer
- mathematical proof 4 Treffer
- theoretical computer science 4 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 3 Treffer
- calculus 3 Treffer
- constructive proof 3 Treffer
- equivalence relation 3 Treffer
- intuitionistic type theory 3 Treffer
- logic 3 Treffer
- modulo 3 Treffer
- programming language 3 Treffer
- proof theory 3 Treffer
- reduction (recursion theory) 3 Treffer
- software 3 Treffer
- soundness 3 Treffer
- type theory 3 Treffer
- unification 3 Treffer
- 16. peace & justice 2 Treffer
- abstract syntax 2 Treffer
- agda 2 Treffer
- artificial intelligence 2 Treffer
- axiom 2 Treffer
- commutative property 2 Treffer
- completeness (logic) 2 Treffer
- computational theory and mathematics 2 Treffer
- computer.programming_language 2 Treffer
- conjecture 2 Treffer
- constructive 2 Treffer
- correctness 2 Treffer
Verlag
Publikation
- journal of automated reasoning 2 Treffer
- 2016 18th international symposium on symbolic and numeric algorithms for scientific computing (synasc) 1 Treffer
- acm transactions on computational logic 1 Treffer
- archive for mathematical logic 1 Treffer
- electronic notes in theoretical computer science 1 Treffer
- 4 weitere Werte:
23 Treffer
-
In: 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2016-09-01Online unknownZugriff:
-
In: ACM Transactions on Computational Logic, Jg. 14 (2013-11-01), S. 1-16Online unknownZugriff:
-
2016Online unknownZugriff:
-
In: The Computer Journal, Jg. 65 (2021-05-03), S. 1891-1903Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2018-10-27), S. 695-722Online unknownZugriff:
-
In: EPiC Series in Computing, 2018-01-23Online unknownZugriff:
-
In: Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2016-06-23Online unknownZugriff:
-
2007Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 781 (2019-08-01), S. 3-23Online unknownZugriff:
-
In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020-01-20Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-10-12), S. 1-26Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 332 (2017-06-01), S. 21-38Online unknownZugriff:
-
In: Archive for Mathematical Logic, Jg. 56 (2016-11-01), S. 51-66Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 56 (2016-02-25), S. 343-365Online unknownZugriff:
-
2018Online unknownZugriff:
-
2016Online unknownZugriff: