Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 4 Treffer
- 03b35 3 Treffer
- 68t15 2 Treffer
- automated theorem proving 2 Treffer
- euclidean geometry 2 Treffer
-
21 weitere Werte:
- interactive theorem proving 2 Treffer
- 03b30 1 Treffer
- 03f07 1 Treffer
- 03f55 1 Treffer
- 03f60 1 Treffer
- 03h15 1 Treffer
- 51 1 Treffer
- 51m05 1 Treffer
- 68-04 1 Treffer
- 68u99 1 Treffer
- automated reasoning 1 Treffer
- automation 1 Treffer
- coherent logic 1 Treffer
- discrete geometry 1 Treffer
- euclid 1 Treffer
- formal proofs 1 Treffer
- formalization 1 Treffer
- incidence 1 Treffer
- matroid 1 Treffer
- projective geometry 1 Treffer
- ranks 1 Treffer
Sprache
6 Treffer
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 74 (2015-08-01), Heft 3-4, S. 309-332Online academicJournalZugriff:
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 91 (2023-10-01), Heft 5, S. 651-673Online academicJournalZugriff:
-
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 (2019-04-01), Heft 2-4, S. 213-257Online academicJournalZugriff:
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 74 (2015-08-01), Heft 3-4, S. 249-269Online academicJournalZugriff:
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2019-04-01), Heft 2-4, S. 89-117Online academicJournalZugriff: