Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 42 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 42 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 41 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 38 Treffer
- 020207 software engineering 35 Treffer
-
45 weitere Werte:
- proof assistant 34 Treffer
- 01 natural sciences 31 Treffer
- 0102 computer and information sciences 29 Treffer
- 010201 computation theory & mathematics 29 Treffer
- computer science - programming languages 27 Treffer
- programming languages (cs.pl) 27 Treffer
- lcsh:electronic computers. computer science 25 Treffer
- lcsh:mathematics 25 Treffer
- lcsh:qa1-939 25 Treffer
- lcsh:qa75.5-76.95 25 Treffer
- mathematical proof 23 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 21 Treffer
- theoretical computer science 21 Treffer
- semantics (computer science) 16 Treffer
- business 14 Treffer
- business.industry 14 Treffer
- 020201 artificial intelligence & image processing 12 Treffer
- computer.programming_language 11 Treffer
- software 11 Treffer
- computer science::logic in computer science 10 Treffer
- coq 10 Treffer
- correctness 10 Treffer
- general computer science 10 Treffer
- separation logic 10 Treffer
- artificial intelligence 9 Treffer
- 020204 information systems 8 Treffer
- 16. peace & justice 8 Treffer
- automated theorem proving 8 Treffer
- soundness 8 Treffer
- computer science::programming languages 7 Treffer
- type theory 7 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 6 Treffer
- artificial intelligence (cs.ai) 6 Treffer
- computational theory and mathematics 6 Treffer
- computer science - artificial intelligence 6 Treffer
- development (topology) 6 Treffer
- formal verification 6 Treffer
- hol 6 Treffer
- logical framework 6 Treffer
- 0101 mathematics 5 Treffer
- 010102 general mathematics 5 Treffer
- certification 5 Treffer
- coinduction 5 Treffer
- description logic 5 Treffer
- f.3.1 5 Treffer
Verlag
Publikation
Sprache
72 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 337 (2021-07-16), S. 71-87Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 53 (2014-06-19), S. 271-304Online unknownZugriff:
-
2018Online unknownZugriff:
-
In: ACM Transactions on Computational Logic, Jg. 14 (2013-11-01), S. 1-16Online unknownZugriff:
-
2021Online unknownZugriff: