Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- automate theorem prover 1 Treffer
- automatic theorem prover 1 Treffer
- computer algebra 1 Treffer
- computer algebra system 1 Treffer
- concrete syntax 1 Treffer
-
16 weitere Werte:
- constraint solver 1 Treffer
- high order logic 1 Treffer
- inference rule 1 Treffer
- interactive proof system 1 Treffer
- interactive theorem prove 1 Treffer
- jordan curve theorem 1 Treffer
- prime number theorem 1 Treffer
- proof assistant 1 Treffer
- proof general 1 Treffer
- proof obligation 1 Treffer
- proof script 1 Treffer
- proof tree 1 Treffer
- student model 1 Treffer
- syntax tree 1 Treffer
- term list 1 Treffer
- theorem prover 1 Treffer
Publikation
- 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 : 16th symposium, calculemus 2009, 8th international conference, mkm 2009, held as part of cicm 2009, grand bend, canada, july 6-12, 2009. proceedings 1 Treffer
- intelligent computer mathematics : 9th international conference, aisc 2008, 15th symposium, calculemus 2008, 7th international conference, mkm 2008, birmingham, uk, july 28 - august 1, 2008. 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
- mathematical knowledge management : third international conference, mkm 2004, bialowieza, poland, september 19-21, 2004. proceedings 1 Treffer
- Ein weiterer Wert:
6 Treffer
-
2013Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2004Online E-BookZugriff: