Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- [info] computer science [cs] 1 Treffer
- [info]computer science [cs] 1 Treffer
- automation 1 Treffer
- axiom 1 Treffer
- axiomatic system 1 Treffer
-
19 weitere Werte:
- complex system 1 Treffer
- computer science::logic in computer science 1 Treffer
- coq 1 Treffer
- equivalence (measure theory) 1 Treffer
- euclidean geometry 1 Treffer
- formalization 1 Treffer
- fragment (logic) 1 Treffer
- incidence 1 Treffer
- incidence (geometry) 1 Treffer
- incidence geometry 1 Treffer
- matroid 1 Treffer
- natural language 1 Treffer
- projective geometry 1 Treffer
- proof assistant 1 Treffer
- ranks 1 Treffer
- representation (mathematics) 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
- vernacular 1 Treffer
Sprache
2 Treffer
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2018-10-24), S. 193-212Online unknownZugriff:
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2018-08-29), S. 89-117Online unknownZugriff: