Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info] computer science [cs] 1 Treffer
- [info]computer science [cs] 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
-
12 weitere Werte:
- 51 1 Treffer
- algebra 1 Treffer
- applied mathematics 1 Treffer
- artificial intelligence 1 Treffer
- axiom 1 Treffer
- computer science 1 Treffer
- equivalence (measure theory) 1 Treffer
- incidence (geometry) 1 Treffer
- incidence geometry 1 Treffer
- mathematical proof 1 Treffer
- proof 1 Treffer
- proof assistant 1 Treffer
Verlag
Sprache
2 Treffer
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2019-04-01), Heft 2-4, S. 193-212Online academicJournalZugriff:
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2018-10-24), S. 193-212Online unknownZugriff: