Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 11 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 11 Treffer
- computer science - programming languages 11 Treffer
- computer.software_genre 11 Treffer
- programming languages (cs.pl) 11 Treffer
-
45 weitere Werte:
- computer science - logic in computer science 10 Treffer
- logic in computer science (cs.lo) 10 Treffer
- programming language 10 Treffer
- 020207 software engineering 8 Treffer
- mathematical proof 8 Treffer
- proof assistant 8 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 8 Treffer
- 01 natural sciences 6 Treffer
- 0102 computer and information sciences 6 Treffer
- 010201 computation theory & mathematics 6 Treffer
- software 6 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 5 Treffer
- artificial intelligence 5 Treffer
- soundness 5 Treffer
- 020201 artificial intelligence & image processing 4 Treffer
- 020204 information systems 4 Treffer
- agda 4 Treffer
- computational theory and mathematics 4 Treffer
- lcsh:electronic computers. computer science 4 Treffer
- lcsh:mathematics 4 Treffer
- lcsh:qa1-939 4 Treffer
- lcsh:qa75.5-76.95 4 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 3 Treffer
- computer science::programming languages 3 Treffer
- formal verification 3 Treffer
- software_programminglanguages 3 Treffer
- type theory 3 Treffer
- abstract type 2 Treffer
- algorithm 2 Treffer
- automated theorem proving 2 Treffer
- calculus 2 Treffer
- code (cryptography) 2 Treffer
- compiler 2 Treffer
- computation 2 Treffer
- computer science::logic in computer science 2 Treffer
- correctness 2 Treffer
- extension (predicate logic) 2 Treffer
- haskell 2 Treffer
- lambda calculus 2 Treffer
- media_common 2 Treffer
- media_common.quotation_subject 2 Treffer
- object type 2 Treffer
- recursion 2 Treffer
- safety, risk, reliability and quality 2 Treffer
- scala 2 Treffer
Verlag
Publikation
Sprache
15 Treffer
-
In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018, 2018Online unknownZugriff:
-
2013Online unknownZugriff:
-
2009Online unknownZugriff:
-
2018Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2019-06-22), S. 967-1002Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-10-12), S. 1-27Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 230 (2016-11-26), S. 63-75Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 149 (2014-04-01), S. 64-78Online unknownZugriff:
-
2016Online unknownZugriff: