Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 2 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- 16. peace & justice 2 Treffer
- f.4.1 2 Treffer
-
35 weitere Werte:
- homotopy 2 Treffer
- homotopy type theory 2 Treffer
- mathematics 2 Treffer
- mathematics::category theory 2 Treffer
- [info]computer science [cs] 1 Treffer
- [math]mathematics [math] 1 Treffer
- 000 computer science, knowledge, general works 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020201 artificial intelligence & image processing 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
- algebra 1 Treffer
- categorical semantics 1 Treffer
- computer science 1 Treffer
- computer science applications 1 Treffer
- computer science::logic in computer science 1 Treffer
- computer science::programming languages 1 Treffer
- d.2.4 1 Treffer
- f.3.2 1 Treffer
- fibration 1 Treffer
- homotopy lifting property 1 Treffer
- intuitionistic type theory 1 Treffer
- mathematics (miscellaneous) 1 Treffer
- mathematics::algebraic topology 1 Treffer
- mathematics::k-theory and homology 1 Treffer
- n-connected 1 Treffer
- proof assistant 1 Treffer
- proof theory 1 Treffer
- pure mathematics 1 Treffer
- settore mat/01 - logica matematica 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
Sprache
3 Treffer
-
2012Online unknownZugriff:
-
2013Online unknownZugriff: