Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- 03b35 2 Treffer
- 68t15 2 Treffer
- interactive theorem proving 2 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 1 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
-
20 weitere Werte:
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 1 Treffer
- applied mathematics 1 Treffer
- artificial intelligence 1 Treffer
- automated proof checking 1 Treffer
- automation 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- coherent logic 1 Treffer
- computer 1 Treffer
- computer science 1 Treffer
- computer.software_genre 1 Treffer
- computer-assisted proof 1 Treffer
- euclidean geometry 1 Treffer
- geometry 1 Treffer
- mathematical proof 1 Treffer
- programming language 1 Treffer
- proof assistant 1 Treffer
- resolution (logic) 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
- verifiable secret sharing 1 Treffer
Verlag
Sprache
3 Treffer
-
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. 74 (2015-01-07), S. 249-269Online unknownZugriff:
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2019-04-01), Heft 2-4, S. 89-117Online academicJournalZugriff: