Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer-Verlag, Berlin, 2012
ISBN 10: 3642313736 ISBN 13: 9783642313738
Seller: San Francisco Book Company, Paris, France
Paperback. Condition: Very good. Paperback Small Quarto. wraps 471 pp.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 49.30
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 49.30
Quantity: Over 20 available
Add to basketCondition: New. In.
Paperback. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Condition: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Paperback. Condition: Brand New. 286 pages. 9.00x6.00x0.75 inches. In Stock.
Language: English
Published by Springer-Verlag New York Inc, 2012
ISBN 10: 3642313736 ISBN 13: 9783642313738
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 2012 edition. 491 pages. 8.75x6.00x1.25 inches. In Stock.
Language: English
Published by Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319968114 ISBN 13: 9783319968117
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018.The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also correspond to the subject areas of the predecessor meetings. Orthogonally, the Systems and Projects track called for descriptions of digital resources, such as data and systems, and of projects, whether old, current, or new, and survey papers covering any topics of relevance to the CICM community.
Language: English
Published by Springer Berlin Heidelberg, 2012
ISBN 10: 3642313736 ISBN 13: 9783642313738
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions.This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions.
Condition: New. Print on Demand.
Condition: New. PRINT ON DEMAND.
Taschenbuch. Condition: Neu. Intelligent Computer Mathematics | 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings | Florian Rabe (u. a.) | Taschenbuch | xii | Englisch | 2018 | Springer | EAN 9783319968117 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. 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, Pro | Johan Jeuring (u. a.) | Taschenbuch | xviii | Englisch | 2012 | Springer | EAN 9783642313738 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.