Order Total (1 Item Items):
Shipping Destination:
Intelligent Computer Mathematics 10th (25 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (25)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (19)
- As New, Fine or Near Fine (6)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (25)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (8)
- Not Print on Demand (22)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
-
-
-
-
Intelligent Computer Mathematics: 10th International Conference, Aisc 2010, 17th Symposium, Calculemus 2010 and 9th International Conference
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2010
ISBN 10: 3642141277 ISBN 13: 9783642141270
Softcover. Condition: 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.
-
US$ 67.32
US$ 21.18 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
US$ 67.49
US$ 21.18 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Artificial Intelligence)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.43
US$ 16.38 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, ... (Lecture Notes in Computer Science, 6824)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.88
US$ 16.38 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.82
US$ 20.51 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
-
Paperback or Softback. Condition: New. Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Pr. Book.
-
Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, Mkm 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2011
ISBN 10: 3642226728 ISBN 13: 9783642226724
US$ 92.36
US$ 13.67 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 2011 edition. 312 pages. 9.00x6.00x0.75 inches. In Stock.
-
Intelligent Computer Mathematics: 10th International Conference, Aisc 2010, 17th Symposium, Calculemus 2010 and 9th International Conference, Mkm 2010 Paris, France, July 5-10, 2010 Pr
Language: English
Published by Springer-Verlag New York Inc, 2010
ISBN 10: 3642141277 ISBN 13: 9783642141270
US$ 95.67
US$ 17.09 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 469 pages. 9.00x6.00x1.00 inches. In Stock.
-
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Language: English
Published by Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319620746 ISBN 13: 9783319620749
Taschenbuch. Condition: 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.
-
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
Language: English
Published by Springer-Verlag GmbH, 2010
ISBN 10: 3642141277 ISBN 13: 9783642141270
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 471 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Intelligent Computer Mathematics: 10th International Conference, Cicm 2017, Edinburgh, Uk, July 17-21, 2017, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2017
ISBN 10: 3319620746 ISBN 13: 9783319620749
US$ 93.37
US$ 47.85 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 351 pages. 9.30x6.20x0.90 inches. In Stock.
-
Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 140.82
US$ 20.51 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 129.56
US$ 34.18 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Condition: As New. Unread book in perfect condition.
-
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
Language: English
Published by Springer, Berlin, Springer, 2010
ISBN 10: 3642141277 ISBN 13: 9783642141270
Taschenbuch. Condition: 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.
-
Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings
Language: English
Published by Springer-Verlag GmbH, 2012
ISBN 10: 3642226728 ISBN 13: 9783642226724
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 312 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Condition: New. Print on Demand pp. 351.
-
Condition: New. PRINT ON DEMAND pp. 351.
-
Taschenbuch. Condition: Neu. Intelligent Computer Mathematics | 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings | Herman Geuvers (u. a.) | Taschenbuch | 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 Print on Demand.
