Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mathematical proof 2 Treffer
- mathematical text 2 Treffer
- automate deduction 1 Treffer
- automate reasoning 1 Treffer
- automate theorem 1 Treffer
-
16 weitere Werte:
- classical logic 1 Treffer
- computer algebra system 1 Treffer
- control rule 1 Treffer
- deduction system 1 Treffer
- digital library 1 Treffer
- equality rule 1 Treffer
- inductive proof 1 Treffer
- inference engine 1 Treffer
- inference rule 1 Treffer
- mathematical knowledge 1 Treffer
- natural deduction 1 Treffer
- plausible reasoning 1 Treffer
- proof assistant 1 Treffer
- proof theory 1 Treffer
- residue class 1 Treffer
- sequent calculus 1 Treffer
Publikation
- intelligent computer mathematics : 10th international conference, aisc 2010, 17th symposium, calculemus 2010, and 9th international conference, mkm 2010, paris, france, july 5-10, 2010. proceedings 2 Treffer
- mathematical knowledge management : 4th international conference, mkm 2005, bremen, germany, july 15-17, 2005, revised selected papers 1 Treffer
- mathematical knowledge management : 5th international conference, mkm 2006, wokingham, uk, august 11-12, 2006. proceedings 1 Treffer
- mathematical knowledge management : second international conference, mkm 2003 bertinoro, italy, february 16-18, 2003 proceedings 1 Treffer
- mathematical knowledge management : third international conference, mkm 2004, bialowieza, poland, september 19-21, 2004. proceedings 1 Treffer
Sprache
6 Treffer
-
2010Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2004Online E-BookZugriff: