Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 58 Treffer
- computer science - logic in computer science 56 Treffer
- logic in computer science (cs.lo) 56 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 55 Treffer
- computer.software_genre 54 Treffer
-
45 weitere Werte:
- programming language 52 Treffer
- 02 engineering and technology 50 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 50 Treffer
- 020207 software engineering 37 Treffer
- proof assistant 36 Treffer
- computer science - programming languages 32 Treffer
- programming languages (cs.pl) 32 Treffer
- 01 natural sciences 29 Treffer
- mathematical proof 29 Treffer
- 0102 computer and information sciences 27 Treffer
- 010201 computation theory & mathematics 27 Treffer
- lcsh:electronic computers. computer science 24 Treffer
- lcsh:mathematics 24 Treffer
- lcsh:qa1-939 24 Treffer
- lcsh:qa75.5-76.95 24 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 22 Treffer
- theoretical computer science 20 Treffer
- 020201 artificial intelligence & image processing 17 Treffer
- software 17 Treffer
- computer science::logic in computer science 16 Treffer
- computer.programming_language 15 Treffer
- 020204 information systems 14 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 13 Treffer
- correctness 12 Treffer
- automated theorem proving 11 Treffer
- semantics (computer science) 11 Treffer
- soundness 11 Treffer
- business 10 Treffer
- business.industry 10 Treffer
- computer science::programming languages 10 Treffer
- 16. peace & justice 9 Treffer
- calculus 9 Treffer
- coq 9 Treffer
- artificial intelligence 8 Treffer
- coinduction 8 Treffer
- compiler 8 Treffer
- computational theory and mathematics 8 Treffer
- formal verification 8 Treffer
- general computer science 8 Treffer
- simple (abstract algebra) 8 Treffer
- algebra 7 Treffer
- hol 7 Treffer
- set (abstract data type) 7 Treffer
- type theory 7 Treffer
- certification 6 Treffer
Verlag
- hal ccsd 18 Treffer
- arxiv 16 Treffer
- open publishing association 11 Treffer
- association for computing machinery (acm) 4 Treffer
- centre pour la communication scientifique directe (ccsd) 2 Treffer
-
8 weitere Werte:
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 2 Treffer
- springer science and business media llc 2 Treffer
- acm 1 Treffer
- acm press 1 Treffer
- carnegie mellon university 1 Treffer
- ieee 1 Treffer
- springer berlin heidelberg 1 Treffer
- springer international publishing 1 Treffer
Publikation
- electronic proceedings in theoretical computer science 11 Treffer
- journal of automated reasoning 2 Treffer
- logical methods in computer science 2 Treffer
- proceedings of the acm on programming languages 2 Treffer
- 2020 26th ieee international symposium on asynchronous circuits and systems (async) 1 Treffer
- 2 weitere Werte:
Sprache
80 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 53 (2014-06-19), S. 271-304Online unknownZugriff:
-
2016Online unknownZugriff:
-
2018Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 51 (2015-10-21), S. 26-40Online unknownZugriff:
-
In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018, 2018Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 210 (2016-06-01), S. 30-35Online unknownZugriff:
-
2010Online unknownZugriff:
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2019), S. 213-257Online unknownZugriff: