Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, . / Lecture Notes in Artificial Intelligence)
6 Angebote vergleichen
| Preise | 2011 | 2013 | 2014 | 2015 | 2019 |
|---|---|---|---|---|---|
| Schnitt | € 37,67 | € 29,23 | € 65,49 | € 71,32 | € 68,99 |
| Nachfrage |
1
Symbolbild
Towards Mechanized Mathematical Assistants (2007)
DE PB NWISBN: 9783540730835 bzw. 3540730834, in Deutsch, Springer-Verlag Gmbh Jun 2007, Taschenbuch, neu.
Von Händler/Antiquariat, Rhein-Team Lörrach Ivano Narducci e.K. [57451429], Lörrach, Germany.
- This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation. 406 pp. Englisch.
- This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation. 406 pp. Englisch.
2
Symbolbild
Towards Mechanized Mathematical Assistants (2007)
DE PB NWISBN: 9783540730835 bzw. 3540730834, in Deutsch, Springer-Verlag Gmbh Jun 2007, Taschenbuch, neu.
Von Händler/Antiquariat, Rheinberg-Buch [53870650], Bergisch Gladbach, NRW, Germany.
Neuware - This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation. 406 pp. Englisch.
Neuware - This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation. 406 pp. Englisch.
3
Symbolbild
Towards Mechanized Mathematical Assistants (2007)
DE PB NWISBN: 9783540730835 bzw. 3540730834, in Deutsch, Springer-Verlag Gmbh Jun 2007, Taschenbuch, neu.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Neuware - This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation. 407 pp. Englisch.
Neuware - This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation. 407 pp. Englisch.
4
Towards Mechanized Mathematical Assistants (2007)
~EN PB NWISBN: 9783540730835 bzw. 3540730834, vermutlich in Englisch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, neu.
Lieferung aus: Deutschland, Next Day, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Symbolbild
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2
DE PB USISBN: 9783540730835 bzw. 3540730834, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, gebraucht.
Von Händler/Antiquariat, BargainBookStores [1033621], Grand Rapids, MI, U.S.A.
Lade…