Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 29 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 29 Treffer
- computer science - logic in computer science 25 Treffer
- logic in computer science (cs.lo) 25 Treffer
- computer science 24 Treffer
-
45 weitere Werte:
- 020207 software engineering 23 Treffer
- computer 20 Treffer
- computer.software_genre 18 Treffer
- computer science - programming languages 17 Treffer
- programming languages (cs.pl) 17 Treffer
- programming language 15 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 15 Treffer
- mathematical proof 12 Treffer
- theoretical computer science 12 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 11 Treffer
- proof assistant 10 Treffer
- computer science::logic in computer science 8 Treffer
- computer science::programming languages 8 Treffer
- mathematics 8 Treffer
- software 8 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 7 Treffer
- general computer science 7 Treffer
- 020204 information systems 6 Treffer
- correctness 6 Treffer
- fos: mathematics 6 Treffer
- soundness 6 Treffer
- 0101 mathematics 5 Treffer
- 010102 general mathematics 5 Treffer
- business 5 Treffer
- business.industry 5 Treffer
- type theory 5 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 4 Treffer
- 020201 artificial intelligence & image processing 4 Treffer
- 16. peace & justice 4 Treffer
- coinduction 4 Treffer
- computer graphics and computer-aided design 4 Treffer
- computer.programming_language 4 Treffer
- discrete mathematics 4 Treffer
- f.4.1 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
- semantics (computer science) 4 Treffer
- algebra 3 Treffer
- automated theorem proving 3 Treffer
- axiom 3 Treffer
- calculus 3 Treffer
- computational theory and mathematics 3 Treffer
- computer science applications 3 Treffer
Verlag
Publikation
34 Treffer
-
In: ACM SIGPLAN Notices, Jg. 51 (2015-10-21), S. 26-40Online unknownZugriff:
-
In: ACM Transactions on Computational Logic, Jg. 14 (2013-11-01), S. 1-16Online unknownZugriff:
-
In: Logical Methods in Computer Science, Jg. 12 (2016-06-22)Online unknownZugriff:
-
In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017, 2017Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 352 (2021-12-30), S. 107-115Online unknownZugriff:
-
In: The Computer Journal, Jg. 65 (2021-05-03), S. 1891-1903Online unknownZugriff:
-
In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018, 2018Online unknownZugriff:
-
In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022-01-11Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019-01-02), S. 1-31Online unknownZugriff:
-
In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020-01-20Online unknownZugriff: