Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- abstract data type 1 Treffer
- atomic component 1 Treffer
- computer algebra system 1 Treffer
- deduction system 1 Treffer
- document model 1 Treffer
-
14 weitere Werte:
- elimination rule 1 Treffer
- extension principle 1 Treffer
- high order logic 1 Treffer
- interactive theorem prove 1 Treffer
- knowledge management 1 Treffer
- mathematical knowledge 1 Treffer
- mathematical reasoning 1 Treffer
- modular form 1 Treffer
- module system 1 Treffer
- natural deduction 1 Treffer
- predicate logic 1 Treffer
- proof assistant 1 Treffer
- proof check 1 Treffer
- site leader 1 Treffer
Verlag
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 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 : international conference, cicm 2014, coimbra, portugal, july 7-11, 2014. 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 : second international conference, mkm 2003 bertinoro, italy, february 16-18, 2003 proceedings 1 Treffer
5 Treffer
-
2008Online E-BookZugriff:
-
2014Online E-BookZugriff: