Intelligent Computer Mathematics 17th (7 results)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K 2010
- Softcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Fine
Original price: US$ 7.77; 10% offCurrent price: US$ 7.00
US$ 19.18 shippingShips from France to U.S.A.Quantity: 1 available
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.
- Softcover
Seller: Books From California, Simi Valley, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Very good
US$ 72.47
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Very Good.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 95.37
US$ 16.79 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 469 pages. 9.00x6.00x1.00 inches. In Stock.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
US$ 35.81
US$ 122.06 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 471 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 94.98
US$ 73.97 shippingShips from Germany to U.S.A.Quantity: 2 available
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 th…e 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.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 101.06
US$ 81.38 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Intelligent Computer Mathematics | 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings | Andrea Kohlhase (u. a.) | Taschenbuch | xvii | Englisch | 2024 | Springer | EAN 9783031669965 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17…, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 142.61
US$ 73.10 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutesthe refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montréal, Québec, Canada, during August 5-9, 2024.The 21 full papers presented were carefully reviewed and se…lected from 28 submissions. These papers have been categorized into the following sections:AI and LLM;Proof Assistants;Logical Frameworks and Transformations;Knowledge Representation and Certification;Proof Search and Formalization & System Descriptions.
