Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 7 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 6 Treffer
- 020207 software engineering 6 Treffer
- computational theory and mathematics 6 Treffer
- computer.software_genre 6 Treffer
-
45 weitere Werte:
- software 6 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 6 Treffer
- proof assistant 5 Treffer
- computer.programming_language 4 Treffer
- programming language 4 Treffer
- 01 natural sciences 3 Treffer
- 0102 computer and information sciences 3 Treffer
- 010201 computation theory & mathematics 3 Treffer
- 020201 artificial intelligence & image processing 3 Treffer
- 020204 information systems 3 Treffer
- computer science - programming languages 3 Treffer
- coq 3 Treffer
- correctness 3 Treffer
- mathematical proof 3 Treffer
- programming languages (cs.pl) 3 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 3 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- business 2 Treffer
- business.industry 2 Treffer
- code (cryptography) 2 Treffer
- computation 2 Treffer
- computer science - learning 2 Treffer
- f.4.1 2 Treffer
- formal verification 2 Treffer
- fos: mathematics 2 Treffer
- machine learning 2 Treffer
- machine learning (cs.lg) 2 Treffer
- process (engineering) 2 Treffer
- software_programminglanguages 2 Treffer
- theoretical computer science 2 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 1 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 1 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 1 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 1 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 1 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 1 Treffer
- [math.math-co] mathematics [math]/combinatorics [math.co] 1 Treffer
- [math.math-co]mathematics [math]/combinatorics [math.co] 1 Treffer
- [math.math-na]mathematics [math]/numerical analysis [math.na] 1 Treffer
- [math.math-oc] mathematics [math]/optimization and control [math.oc] 1 Treffer
- [math.math-oc]mathematics [math]/optimization and control [math.oc] 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 010103 numerical & computational mathematics 1 Treffer
Verlag
Publikation
Sprache
9 Treffer
-
In: Journal of Automated Reasoning, Jg. 53 (2014-06-19), S. 271-304Online 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:
-
2009Online unknownZugriff: