Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020207 software engineering 50 Treffer
- 01 natural sciences 44 Treffer
- computer 43 Treffer
- 0102 computer and information sciences 39 Treffer
- 010201 computation theory & mathematics 39 Treffer
-
45 weitere Werte:
- computer.software_genre 38 Treffer
- programming language 35 Treffer
- proof assistant 33 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 32 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 30 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 28 Treffer
- 020201 artificial intelligence & image processing 26 Treffer
- mathematical proof 26 Treffer
- computer science - programming languages 25 Treffer
- programming languages (cs.pl) 25 Treffer
- theoretical computer science 23 Treffer
- lcsh:electronic computers. computer science 16 Treffer
- lcsh:mathematics 16 Treffer
- lcsh:qa1-939 16 Treffer
- lcsh:qa75.5-76.95 16 Treffer
- coq 14 Treffer
- software 14 Treffer
- 020204 information systems 13 Treffer
- computer science::logic in computer science 12 Treffer
- correctness 12 Treffer
- 16. peace & justice 11 Treffer
- computer.programming_language 11 Treffer
- soundness 10 Treffer
- artificial intelligence 9 Treffer
- business 9 Treffer
- business.industry 9 Treffer
- computer science::programming languages 9 Treffer
- general computer science 9 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 8 Treffer
- algebra 8 Treffer
- separation logic 8 Treffer
- calculus 7 Treffer
- certification 7 Treffer
- computational theory and mathematics 7 Treffer
- f.4.1 7 Treffer
- automated theorem proving 6 Treffer
- computingmilieux_miscellaneous 6 Treffer
- formal verification 6 Treffer
- semantics (computer science) 6 Treffer
- type theory 6 Treffer
- 0101 mathematics 5 Treffer
- 010102 general mathematics 5 Treffer
- computer science - software engineering 5 Treffer
- fos: mathematics 5 Treffer
- hol 5 Treffer
Verlag
Publikation
Sprache
69 Treffer
-
In: Journal of Automated Reasoning, Jg. 53 (2014-06-19), S. 271-304Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, 2019Online unknownZugriff:
-
2018Online unknownZugriff:
-
2010Online unknownZugriff:
-
2011Online unknownZugriff:
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2019), S. 213-257Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 57 (2016-05-01), Heft 4, S. 319-387Online unknownZugriff: