Vendeur : Buchpark, Trebbin, Allemagne
EUR 12,24
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
EUR 29,96
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
EUR 30,93
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Vendeur : Basi6 International, Irving, TX, Etats-Unis
EUR 29,96
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Vendeur : ALLBOOKS1, Direk, SA, Australie
EUR 33,65
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panier
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2010
ISBN 10 : 3642141277 ISBN 13 : 9783642141270
Langue: anglais
Vendeur : Ammareal, Morangis, France
EUR 29,90
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : 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.
Edité par Springer Berlin Heidelberg, 2008
ISBN 10 : 3540851097 ISBN 13 : 9783540851097
Langue: anglais
Vendeur : Buchpark, Trebbin, Allemagne
EUR 32,50
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 620 | Sprache: Englisch | Produktart: Bücher.
Edité par Springer International Publishing, 2016
ISBN 10 : 3319425463 ISBN 13 : 9783319425467
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 44,94
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th InternationalConference on Intelligent Computer Mathematics, CICM 2016, held inBialystok, Poland, in July 2016.The 10 full papers and 2 short papers presentedwere carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topicalsections according to the five tracks of the conference:Calculemus; Digital Mathematics Libraries; Mathematical KnowledgeManagement; Surveys and Projects; and Systems and Data.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 58,49
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Edité par Springer Berlin Heidelberg, 2008
ISBN 10 : 3540851097 ISBN 13 : 9783540851097
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics. The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business.
Edité par Springer-Verlag New York Inc, 2016
ISBN 10 : 3319425463 ISBN 13 : 9783319425467
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 70,23
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 180 pages. 9.25x6.10x0.41 inches. In Stock.
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
EUR 28,71
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Edité par Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10 : 3642141277 ISBN 13 : 9783642141270
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 79,32
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Edité par Springer-Verlag New York Inc, 2010
ISBN 10 : 3642141277 ISBN 13 : 9783642141270
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 81,58
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 469 pages. 9.00x6.00x1.00 inches. In Stock.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 53,15
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 105,96
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : New. New. book.
Vendeur : UK BOOKS STORE, London, LONDO, Royaume-Uni
EUR 136,17
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. Brand New! Fast Delivery US Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 120,25
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. Like New. book.