Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_mathematicallogicandformallanguages 34 Treffer
- computer science::logic in computer science 24 Treffer
- computer 19 Treffer
- 02 engineering and technology 18 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 18 Treffer
-
45 weitere Werte:
- mathematical proof 18 Treffer
- proof assistant 17 Treffer
- 01 natural sciences 16 Treffer
- 0102 computer and information sciences 16 Treffer
- 010201 computation theory & mathematics 16 Treffer
- computer science::programming languages 16 Treffer
- 020207 software engineering 14 Treffer
- computer.programming_language 13 Treffer
- software 11 Treffer
- algorithm 9 Treffer
- lambda calculus 9 Treffer
- computer.software_genre 7 Treffer
- fos: computer and information sciences 7 Treffer
- computer science::mathematical software 6 Treffer
- coq 6 Treffer
- discrete mathematics 6 Treffer
- programming language 6 Treffer
- recursion 6 Treffer
- theoretical computer science 6 Treffer
- automated theorem proving 5 Treffer
- computer science - logic in computer science 5 Treffer
- constructive 5 Treffer
- decidability 5 Treffer
- functional programming 5 Treffer
- general computer science 5 Treffer
- logic in computer science (cs.lo) 5 Treffer
- rewriting 5 Treffer
- soundness 5 Treffer
- type theory 5 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 4 Treffer
- 16. peace & justice 4 Treffer
- artificial intelligence 4 Treffer
- axiom 4 Treffer
- computational theory and mathematics 4 Treffer
- computer graphics and computer-aided design 4 Treffer
- context (language use) 4 Treffer
- correctness 4 Treffer
- evaluation strategy 4 Treffer
- intuitionistic type theory 4 Treffer
- set (abstract data type) 4 Treffer
- type (model theory) 4 Treffer
- typed lambda calculus 4 Treffer
- 0101 mathematics 3 Treffer
- 010102 general mathematics 3 Treffer
- 020201 artificial intelligence & image processing 3 Treffer
Verlag
Publikation
Sprache
46 Treffer
-
In: Journal of Automated Reasoning, Jg. 63 (2018-10-19), S. 393-413Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 338 (2018-10-01), S. 203-218Online unknownZugriff:
-
In: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019-01-14Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 210 (2016-06-01), S. 30-35Online unknownZugriff:
-
2010Online unknownZugriff:
-
2017Online unknownZugriff:
-
2014Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 76 (2011-03-01), Heft 3, S. 204-224Online unknownZugriff: