Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 10 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 10 Treffer
- computer 10 Treffer
- 01 natural sciences 8 Treffer
- mathematical proof 8 Treffer
-
45 weitere Werte:
- theoretical computer science 8 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 8 Treffer
- 0102 computer and information sciences 7 Treffer
- 010201 computation theory & mathematics 7 Treffer
- computer.software_genre 7 Treffer
- programming language 7 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 7 Treffer
- computer science - programming languages 6 Treffer
- programming languages (cs.pl) 6 Treffer
- proof assistant 6 Treffer
- 020207 software engineering 5 Treffer
- computer science::programming languages 5 Treffer
- computer.programming_language 5 Treffer
- general computer science 5 Treffer
- separation logic 5 Treffer
- 020201 artificial intelligence & image processing 4 Treffer
- calculus 4 Treffer
- computer science::logic in computer science 4 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 3 Treffer
- business 3 Treffer
- business.industry 3 Treffer
- computational theory and mathematics 3 Treffer
- lambda calculus 3 Treffer
- software 3 Treffer
- state (computer science) 3 Treffer
- 020204 information systems 2 Treffer
- algorithm 2 Treffer
- artificial intelligence 2 Treffer
- bisimulation 2 Treffer
- certification 2 Treffer
- coinduction 2 Treffer
- coq 2 Treffer
- correctness 2 Treffer
- modular design 2 Treffer
- structure (mathematical logic) 2 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 1 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- [math.math-na]mathematics [math]/numerical analysis [math.na] 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 020206 networking & telecommunications 1 Treffer
- 05 social sciences 1 Treffer
- 0501 psychology and cognitive sciences 1 Treffer
- 050101 languages & linguistics 1 Treffer
Verlag
Publikation
Sprache
13 Treffer
-
2021Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2019-06-22), S. 967-1002Online unknownZugriff:
-
2015Online unknownZugriff:
-
2013Online unknownZugriff:
-
In: Logical Methods in Computer Science, Jg. 7 (2011-06-23)Online unknownZugriff: