Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 52 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 51 Treffer
- computer science 44 Treffer
- 020207 software engineering 39 Treffer
- computer 35 Treffer
-
45 weitere Werte:
- theoryofcomputation_mathematicallogicandformallanguages 34 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 33 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 31 Treffer
- computer.software_genre 29 Treffer
- programming language 27 Treffer
- proof assistant 25 Treffer
- mathematical proof 21 Treffer
- computer science - programming languages 20 Treffer
- programming languages (cs.pl) 20 Treffer
- computer science::logic in computer science 19 Treffer
- theoretical computer science 18 Treffer
- mathematics 17 Treffer
- computer science::programming languages 15 Treffer
- coq 14 Treffer
- algebra 12 Treffer
- general computer science 12 Treffer
- 0101 mathematics 11 Treffer
- 010102 general mathematics 11 Treffer
- 020201 artificial intelligence & image processing 11 Treffer
- 16. peace & justice 11 Treffer
- lcsh:electronic computers. computer science 11 Treffer
- lcsh:mathematics 11 Treffer
- lcsh:qa1-939 11 Treffer
- lcsh:qa75.5-76.95 11 Treffer
- software 11 Treffer
- f.4.1 10 Treffer
- fos: mathematics 10 Treffer
- computer.programming_language 9 Treffer
- correctness 9 Treffer
- type theory 9 Treffer
- soundness 8 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 7 Treffer
- discrete mathematics 7 Treffer
- 020204 information systems 6 Treffer
- artificial intelligence 6 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 6 Treffer
- computingmilieux_miscellaneous 6 Treffer
- semantics (computer science) 6 Treffer
- separation logic 6 Treffer
- automated theorem proving 5 Treffer
- calculus 5 Treffer
- coinduction 5 Treffer
- computational theory and mathematics 5 Treffer
- computer science applications 5 Treffer
- computer science::mathematical software 5 Treffer
Verlag
Publikation
Sprache
64 Treffer
-
2013Online unknownZugriff:
-
2010Online unknownZugriff:
-
2011Online unknownZugriff:
-
In: Logical Methods in Computer Science, Jg. 12 (2016-06-22)Online unknownZugriff:
-
In: ACM Transactions on Computational Logic, Jg. 14 (2013-11-01), S. 1-16Online unknownZugriff:
-
2017Online unknownZugriff:
-
In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017, 2017Online unknownZugriff: