Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- categorical semantics 2 Treffer
- continuous distributions 2 Treffer
- distribution (probability theory) 2 Treffer
- measure theory 2 Treffer
- model structure 2 Treffer
-
21 weitere Werte:
- probabilistic programming 2 Treffer
- topology 2 Treffer
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & 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
- 16. peace & justice 1 Treffer
- algebra 1 Treffer
- computer science applications 1 Treffer
- context (language use) 1 Treffer
- generalization 1 Treffer
- homotopy 1 Treffer
- interval (graph theory) 1 Treffer
- mathematics 1 Treffer
- mathematics (miscellaneous) 1 Treffer
- mathematics::category theory 1 Treffer
- proof assistant 1 Treffer
- structure (mathematical logic) 1 Treffer
- type theory 1 Treffer
Sprache
3 Treffer
-
In: Mathematical Structures in Computer Science, Jg. 32 (2022-04-01), Heft 4, S. 392-423Online academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 31 (2021-11-01), Heft 10, S. 1301-1329Online academicJournalZugriff:
-
In: Mathematical Structures in Computer ScienceOnline unknownZugriff: