Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 7 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 7 Treffer
- computer 6 Treffer
- computer science 6 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 6 Treffer
-
45 weitere Werte:
- 020207 software engineering 5 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 5 Treffer
- computer.software_genre 4 Treffer
- programming language 4 Treffer
- algebra 3 Treffer
- f.4.1 3 Treffer
- fos: mathematics 3 Treffer
- homotopy type theory 3 Treffer
- logic (math.lo) 3 Treffer
- mathematical proof 3 Treffer
- mathematics 3 Treffer
- mathematics - logic 3 Treffer
- proof assistant 3 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- 0101 mathematics 2 Treffer
- 010102 general mathematics 2 Treffer
- 020201 artificial intelligence & image processing 2 Treffer
- category theory 2 Treffer
- category theory (math.ct) 2 Treffer
- computer science::logic in computer science 2 Treffer
- computer science::programming languages 2 Treffer
- computer.programming_language 2 Treffer
- homotopy 2 Treffer
- mathematics - category theory 2 Treffer
- mathematics::category theory 2 Treffer
- semantics (computer science) 2 Treffer
- syntax (programming languages) 2 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info.info-pl] computer science [cs]/programming languages [cs.pl] 1 Treffer
- [info]computer science [cs] 1 Treffer
- [math]mathematics [math] 1 Treffer
- 000 computer science, knowledge, general works 1 Treffer
- 16. peace & justice 1 Treffer
- a1 homotopy theory 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 1 Treffer
- agda 1 Treffer
- algorithm 1 Treffer
- bisimulation 1 Treffer
- calculus 1 Treffer
- calculus of constructions 1 Treffer
- categorical semantics 1 Treffer
- certification 1 Treffer
- class (set theory) 1 Treffer
- computer science - programming languages 1 Treffer
- computer science applications 1 Treffer
Verlag
Publikation
Sprache
9 Treffer
-
2017Online unknownZugriff:
-
2012Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 21 (2011-07-01), S. 795-825Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 191, S. 143-157Online unknownZugriff: