Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 18 Treffer
- 0102 computer and information sciences 15 Treffer
- 010201 computation theory & mathematics 15 Treffer
- computer 14 Treffer
- 020207 software engineering 13 Treffer
-
45 weitere Werte:
- proof assistant 13 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 13 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 13 Treffer
- 020201 artificial intelligence & image processing 12 Treffer
- computer.software_genre 11 Treffer
- theoretical computer science 11 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 10 Treffer
- programming language 9 Treffer
- 020204 information systems 8 Treffer
- calculus 7 Treffer
- computer science::logic in computer science 7 Treffer
- lcsh:electronic computers. computer science 7 Treffer
- lcsh:mathematics 7 Treffer
- lcsh:qa1-939 7 Treffer
- lcsh:qa75.5-76.95 7 Treffer
- computer science - programming languages 6 Treffer
- f.4.1 6 Treffer
- programming languages (cs.pl) 6 Treffer
- soundness 6 Treffer
- 16. peace & justice 5 Treffer
- computer.programming_language 5 Treffer
- computer science::programming languages 4 Treffer
- correctness 4 Treffer
- general computer science 4 Treffer
- software 4 Treffer
- 0101 mathematics 3 Treffer
- 010102 general mathematics 3 Treffer
- algebra 3 Treffer
- algorithm 3 Treffer
- artificial intelligence 3 Treffer
- bisimulation 3 Treffer
- coq 3 Treffer
- structure (mathematical logic) 3 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 2 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- axiom 2 Treffer
- business 2 Treffer
- business.industry 2 Treffer
- certification 2 Treffer
- coinduction 2 Treffer
- computer science - distributed, parallel, and cluster computing 2 Treffer
- computer science - learning 2 Treffer
- computer science::mathematical software 2 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 2 Treffer
- computingmilieux_miscellaneous 2 Treffer
Verlag
Publikation
Sprache
26 Treffer
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2019), S. 213-257Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 211 (2016-06-17), S. 13-24Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 149 (2014-04-01), S. 64-78Online unknownZugriff:
-
In: 2016 IEEE Congress on Evolutionary Computation (CEC), 2016-07-01Online unknownZugriff: