Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 34 Treffer
- computer science - logic in computer science 33 Treffer
- logic in computer science (cs.lo) 33 Treffer
- 01 natural sciences 31 Treffer
- computer.software_genre 30 Treffer
-
45 weitere Werte:
- 0102 computer and information sciences 29 Treffer
- 010201 computation theory & mathematics 29 Treffer
- programming language 28 Treffer
- computer science - programming languages 25 Treffer
- programming languages (cs.pl) 25 Treffer
- proof assistant 24 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 22 Treffer
- theoretical computer science 20 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 19 Treffer
- 020201 artificial intelligence & image processing 14 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 14 Treffer
- coq 13 Treffer
- correctness 13 Treffer
- software 13 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 10 Treffer
- business 10 Treffer
- business.industry 10 Treffer
- computer.programming_language 10 Treffer
- mathematical proof 10 Treffer
- lcsh:electronic computers. computer science 7 Treffer
- lcsh:mathematics 7 Treffer
- lcsh:qa1-939 7 Treffer
- lcsh:qa75.5-76.95 7 Treffer
- separation logic 7 Treffer
- soundness 7 Treffer
- artificial intelligence 6 Treffer
- compiler 6 Treffer
- general computer science 6 Treffer
- semantics (computer science) 6 Treffer
- 020204 information systems 5 Treffer
- 16. peace & justice 5 Treffer
- certification 5 Treffer
- code (cryptography) 5 Treffer
- computational theory and mathematics 5 Treffer
- computer science::logic in computer science 5 Treffer
- computer science::programming languages 5 Treffer
- computingmilieux_miscellaneous 5 Treffer
- formal verification 5 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 4 Treffer
- [info]computer science [cs] 4 Treffer
- formal proof 4 Treffer
- hol 4 Treffer
- safety, risk, reliability and quality 4 Treffer
- syntax (programming languages) 4 Treffer
- algebra 3 Treffer
Verlag
Publikation
50 Treffer
-
2018Online unknownZugriff:
-
2010Online unknownZugriff:
-
2011Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 57 (2016-05-01), Heft 4, S. 319-387Online unknownZugriff:
-
2014Online unknownZugriff:
-
2009Online unknownZugriff: