Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- authoring tool 1 Treffer
- automate reasoning 1 Treffer
- axiomatic system 1 Treffer
- classical logic 1 Treffer
- formal language 1 Treffer
-
15 weitere Werte:
- function symbol 1 Treffer
- interactive proof 1 Treffer
- jordan curve theorem 1 Treffer
- mathematical text 1 Treffer
- mizar mathematical library 1 Treffer
- natural deduction 1 Treffer
- predicate logic 1 Treffer
- proof assistant 1 Treffer
- proof tree 1 Treffer
- sequence function 1 Treffer
- sequence variable 1 Treffer
- sequent calculus 1 Treffer
- source text 1 Treffer
- term list 1 Treffer
- theorem prove 1 Treffer
Publikation
- mathematical knowledge management : third international conference, mkm 2004, bialowieza, poland, september 19-21, 2004. proceedings 2 Treffer
- intelligent computer mathematics : 11th international conference, aisc 2012, 19th symposium, calculemus 2012, 5th international workshop, dml 2012, 11th international conference, mkm 2012, systems and projects, held as part of cicm 2012, bremen, germany, july 8-13, 2012. proceedings 1 Treffer
- intelligent computer mathematics : mkm, calculemus, dml, and systems and projects 2013, held as part of cicm 2013, bath, uk, july 8-12, 2013. proceedings 1 Treffer
- towards mechanized mathematical assistants : 14th symposium, calculemus 2007, 6th international conference, mkm 2007, hagenberg, austria, june 27-30, 2007. proceedings 1 Treffer
5 Treffer
-
2013Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2004Online E-BookZugriff: