Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2010
ISBN 10: 3642141277 ISBN 13: 9783642141270
Anbieter: Ammareal, Morangis, Frankreich
EUR 5,84
Anzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Très bon. Pages cornées. Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Dog-eared pages. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations.
Zustand: New.
Paperback or Softback. Zustand: New. Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Pr. Book.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,02
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,02
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 57,04
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 56,90
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 59,86
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Zustand: New. pp. 351.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2011
ISBN 10: 3642226728 ISBN 13: 9783642226724
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,18
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2011 edition. 312 pages. 9.00x6.00x0.75 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 3642141277 ISBN 13: 9783642141270
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 82,04
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 469 pages. 9.00x6.00x1.00 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319620746 ISBN 13: 9783319620749
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319620746 ISBN 13: 9783319620749
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,06
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 351 pages. 9.30x6.20x0.90 inches. In Stock.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Intelligent Computer Mathematics | 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings | Herman Geuvers (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2017 | Springer | EAN 9783319620749 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 119,02
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 109,51
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 312 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 471 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
EUR 61,65
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New. 2011th.
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 2010
ISBN 10: 3642141277 ISBN 13: 9783642141270
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - Thisvolumecontainsthecollectedcontributionsofthreeconferences,AISC2010, Calculemus 2010 and MKM 2010. AISC 2010 was the 10th International C- ference on Arti cial Intelligence and symbolic computation. Its area of concern is the use of AI techniques within symbolic computation as well as the appli- tion of symbolic computation to AI problem solving. Calculemus 2010 was the 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, dedicated to the combination of computer algebra systems and - tomated deduction systems. MKM 2010 was the 9th International Conference on Mathematical KnowledgeManagement, an emerging interdisciplinary eld of research in the intersection of mathematics, computer science, library science, andscienti cpublishing. Allthreeconferencesarethusconcernedwithproviding intelligent computer mathematics. Although the conferences have separate c- munities and separate foci, there is a signi cant overlap of interest in building systems for intelligent computer mathematics. As in 2008 and 2009,the three events were colocated. In 2010 this was at the Conservatoire National des Arts et M etiers (CNAM), Paris, France, under the umbrellaoftheConferencesonIntelligentComputerMathematics(CICM2010), organized by Renaud Rioboo and Laurence Rideau. This collocation is intended to counteract the tendency towards fragmentation of communities working on di erent aspects of various independent branchesof our general eld; traditional branches (e. g. , computer algebra, theorem proving and arti cial intelligence in general), as well as newly emerging ones (on user interfaces, knowledge mana- ment, theory exploration, etc. ). This also facilitates the development of systems for intelligent computer mathematics that will be routinely used by mathema- cians, computer scientists and engineers in their every-day work.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 75,66
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 351.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 351.