Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- decision procedure 2 Treffer
- argument strategy 1 Treffer
- automatic synthesis 1 Treffer
- decision method 1 Treffer
- description logic 1 Treffer
-
14 weitere Werte:
- error message 1 Treffer
- existential theory 1 Treffer
- gaussian elimination 1 Treffer
- great common divisor 1 Treffer
- input mode 1 Treffer
- language construct 1 Treffer
- logical expression 1 Treffer
- main program 1 Treffer
- order theory 1 Treffer
- output class 1 Treffer
- semantic match 1 Treffer
- service discovery 1 Treffer
- strict inequality 1 Treffer
- sweet spot 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 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 : 4th international conference, mkm 2005, bremen, germany, july 15-17, 2005, revised selected papers 1 Treffer
- Ein weiterer Wert:
6 Treffer
-
2008Online E-BookZugriff:
-
2006Online E-BookZugriff: