Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_logicsandmeaningsofprograms 8 Treffer
- computer science - programming languages 7 Treffer
- programming languages (cs.pl) 7 Treffer
- 02 engineering and technology 6 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 6 Treffer
-
45 weitere Werte:
- proof assistant 6 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 6 Treffer
- lcsh:electronic computers. computer science 5 Treffer
- lcsh:mathematics 5 Treffer
- lcsh:qa1-939 5 Treffer
- lcsh:qa75.5-76.95 5 Treffer
- mathematical proof 5 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 4 Treffer
- 020207 software engineering 4 Treffer
- artificial intelligence 4 Treffer
- software 4 Treffer
- 01 natural sciences 3 Treffer
- 0102 computer and information sciences 3 Treffer
- 010201 computation theory & mathematics 3 Treffer
- 020204 information systems 3 Treffer
- computational theory and mathematics 3 Treffer
- formal verification 3 Treffer
- theoretical computer science 3 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- 020201 artificial intelligence & image processing 2 Treffer
- agda 2 Treffer
- artificial intelligence (cs.ai) 2 Treffer
- automated theorem proving 2 Treffer
- business 2 Treffer
- business.industry 2 Treffer
- computer science - artificial intelligence 2 Treffer
- computer science - databases 2 Treffer
- computer science::logic in computer science 2 Treffer
- computer.file_format 2 Treffer
- correctness 2 Treffer
- databases (cs.db) 2 Treffer
- executable 2 Treffer
- formal methods 2 Treffer
- linear logic 2 Treffer
- logical framework 2 Treffer
- media_common 2 Treffer
- media_common.quotation_subject 2 Treffer
- soundness 2 Treffer
- source code 2 Treffer
- theorem proving 2 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 1 Treffer
- [sdv.bbm.bm]life sciences [q-bio]/biochemistry, molecular biology/molecular biology 1 Treffer
- [sdv.bibs]life sciences [q-bio]/quantitative methods [q-bio.qm] 1 Treffer
- [sdv]life sciences [q-bio] 1 Treffer
- 05 social sciences 1 Treffer
Verlag
Publikation
Sprache
11 Treffer
-
2009Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2019-06-22), S. 967-1002Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 230 (2016-11-26), S. 63-75Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 149 (2014-04-01), S. 64-78Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 79 (2012-02-21), S. 143-153Online unknownZugriff:
-
2015Online unknownZugriff:
-
2014Online unknownZugriff: