Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- complex number 2 Treffer
- electrical engineering 2 Treffer
- elimination rule 2 Treffer
- mathematical knowledge 2 Treffer
- mathematical proof 2 Treffer
-
25 weitere Werte:
- automate reasoning 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- computer science 1 Treffer
- deduction system 1 Treffer
- field (computer science) 1 Treffer
- formal argument 1 Treffer
- formal language 1 Treffer
- formal proof 1 Treffer
- induction rule 1 Treffer
- inference rule 1 Treffer
- intelligent interface 1 Treffer
- logical framework 1 Treffer
- major premise 1 Treffer
- mathematical knowledge management 1 Treffer
- mathematical reasoning 1 Treffer
- mathematical text 1 Treffer
- mizar mathematical library 1 Treffer
- mizar system 1 Treffer
- network theory 1 Treffer
- plausible reasoning 1 Treffer
- predicate logic 1 Treffer
- proof script 1 Treffer
- stability (learning theory) 1 Treffer
- theorem prove 1 Treffer
Publikation
- mathematical knowledge management : 5th international conference, mkm 2006, wokingham, uk, august 11-12, 2006. proceedings 2 Treffer
- 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 1 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 : 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
- Ein weiterer Wert:
Sprache
8 Treffer
-
2012Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2006Online E-BookZugriff: