Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mathematics 4 Treffer
- proof theory 4 Treffer
- computer science applications 3 Treffer
- mathematics (miscellaneous) 3 Treffer
- 01 natural sciences 2 Treffer
-
45 weitere Werte:
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- 02 engineering and technology 2 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
- categories (mathematics) 2 Treffer
- graph theory 2 Treffer
- homotopy theory 2 Treffer
- limit theorems 2 Treffer
- mathematical models 2 Treffer
- proof assistant 2 Treffer
- univalent functions 2 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020207 software engineering 1 Treffer
- 16. peace & justice 1 Treffer
- algebra 1 Treffer
- calculus 1 Treffer
- category theory 1 Treffer
- class (set theory) 1 Treffer
- computer 1 Treffer
- computer science 1 Treffer
- computer science - logic in computer science 1 Treffer
- computer.software_genre 1 Treffer
- computingmethodologies_documentandtextprocessing 1 Treffer
- context (language use) 1 Treffer
- data science 1 Treffer
- digital security 1 Treffer
- fos: computer and information sciences 1 Treffer
- generalization 1 Treffer
- homotopy 1 Treffer
- homotopy type theory 1 Treffer
- interpretation (logic) 1 Treffer
- interval (graph theory) 1 Treffer
- intuitionistic type theory 1 Treffer
- logic in computer science (cs.lo) 1 Treffer
- mathematics education 1 Treffer
- mathematics::category theory 1 Treffer
- order (group theory) 1 Treffer
- programming language 1 Treffer
- semantics (computer science) 1 Treffer
- set (abstract data type) 1 Treffer
- structure (mathematical logic) 1 Treffer
- syntax (programming languages) 1 Treffer
- unit type 1 Treffer
- univalent foundations 1 Treffer
- universal algebra 1 Treffer
Verlag
Sprache
5 Treffer
-
In: Mathematical Structures in Computer Science, Jg. 25 (2015-06-01), Heft 5, S. 1278-1294Online academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 25 (2015-06-01), Heft 5, S. 1040-1070Online academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 25 (2015-01-20), S. 1278-1294Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 21 (2011-07-01), S. 795-825Online unknownZugriff:
-
In: Mathematical Structures in Computer ScienceOnline unknownZugriff: