Calmet Jacques (132 results)
- Hardcover
Seller: Doss-Haus Books, Redondo Beach, U.S.A.Doss-Haus Books
Contact seller4-star sellerCondition: Used - Very good
£ 11.50
£ 4.09 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. No Jacket. Hardcover 1996 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;1138.[viii, 379 p. : ill. ; 24 cm].
- Hardcover
- First Edition
Seller: Reader's Corner, Inc., Raleigh, U.S.A.Reader's Corner, Inc.
Contact seller5-star sellerCondition: Used - Near fine
£ 11.50
£ 4.09 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Near Fine. No Jacket. First. This is a near fine copy from a technical library. The book has been rebound in brown buckram with the cover pasted on the front board. Never checked out.
- Softcover
Seller: Early Republic Books, Hopatcong, U.S.A.Early Republic Books
Contact seller4-star sellerCondition: Used - Good
£ 12.02
£ 4.39 shippingShips within U.S.A.Quantity: 1 available
TPB. G TRADE-PAPERBACK. EX-LIBRARY WITH TYPICAL MARKINGS.
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: £ 5.77; 10% offCurrent price: £ 5.20
£ 14.25 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: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 15.49
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. pp. 208 Illus.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 19.98
£ 2.97 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 208.
- Softcover
Seller: Biblios, frankfurt am main, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 16.38
£ 8.59 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. pp. 208.
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Jaques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (Herausgeber)
Language: English
Published by Springer Verlag, Berlin Heidelberg New York 2002
- Softcover
Seller: Antiquariat WIE, Lollar, GermanyAntiquariat WIE
Contact seller4-star sellerCondition: Used - Good
£ 8.90
£ 19.42 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover. Nein. Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille France July 2002. Gebrauchsspuren, 341 Seiten. Nein.
- Softcover
- International Edition
Seller: Romtrade Corp., STERLING HEIGHTS, U.S.A.Romtrade Corp.
Contact seller5-star sellerInternational EditionCondition: New
£ 31.46
Free ShippingShips within U.S.A.Quantity: 2 available
Condition: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be print…ed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide.
- Softcover
Seller: Basi6 International, Irving, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 31.46
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Softcover
Seller: SMASS Sellers, IRVING, U.S.A.SMASS Sellers
Contact seller4-star sellerCondition: New
£ 33.53
Free ShippingShips within U.S.A.Quantity: 2 available
Condition: New. Brand New, Softcover edition. This item may ship from the US or our Overseas warehouse depending on your location and stock availability.
More imagesLanguage: English
Published by Karlsruhe, Universitätsverlag 2006
- Softcover
Seller: avelibro OHG, Dinkelscherben, Germanyavelibro OHG
Contact seller5-star sellerCondition: Used - Fine
£ 24.91
£ 8.64 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basket8° Broschiert. Condition: Sehr gut. 369 S. Leichte Lagerspuren, sonst wie neu. B02-03-02C Sprache: Englisch Gewicht in Gramm: 513.
- Softcover
Seller: SMASS Sellers, IRVING, U.S.A.SMASS Sellers
Contact seller4-star sellerCondition: New
£ 33.91
Free ShippingShips within U.S.A.Quantity: 2 available
Condition: New. Brand New, Softcover edition. This item may ship from the US or our Overseas warehouse depending on your location and stock availability.
- Softcover
Seller: avelibro OHG, Dinkelscherben, Germanyavelibro OHG
Contact seller5-star sellerCondition: Used - Fine
£ 25.80
£ 8.64 shippingShips from Germany to U.S.A.Quantity: 1 available
8° Paperback. Condition: Sehr gut. 369 S. This volume contains the conference proceedings of the Workshop on Global Integrability of Field Theories GIFT 2006 (Cockcroft Institute, Daresbury, UK, 11-01-06 11-03-06), which served as the final conference of the European NEST project GIFT. Within its scope, hitherto unrelated result…s from various domains including algebraic topology, computer algebra, differential Galois theory, integrable systems, formal theory of differential equations and physical field theories were combined. B02-04-06F Sprache: Englisch Gewicht in Gramm: 513.
Published by Springer, Berlin et.al. 1993
- Softcover
Seller: Antiquariat Puderbach, Dresden, GermanyAntiquariat Puderbach
Contact seller5-star sellerCondition: Used
£ 15.12
£ 10.36 shippingShips from Germany to U.S.A.Quantity: 1 available
Paperback 23x16 cm, slightly rubbed, pp. 305 Gewicht in Gramm: 420.
- Softcover
Seller: Herr Klaus Dieter Boettcher, Karlsruhe, GermanyHerr Klaus Dieter Boettcher
Contact seller4-star sellerCondition: Used - Fine
£ 14.94
£ 10.36 shippingShips from Germany to U.S.A.Quantity: 1 available
Broschiert. Condition: Sehr gut. 369 Seiten Auflage 2006.Broschiert, fast wie neu. Sprache: Deutsch Gewicht in Gramm: 523.
Artificial Intelligence and Symbolic Computation : 12th International Conference, Aisc 2014, Seville, Spain December 11-13 2014 Proceedings
Aranda-corral, Gonzalo A. (EDT); Calmet, Jacques (EDT); Martín-mateos, Francisco J. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 43.83
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Artificial Intelligence and Symbolic Computation : 13th International Conference, Aisc 2018, Suzhou, China, September 16?19, 2018, Proceedings
Fleuriot, Jacques (EDT); Wang, Dongming (EDT); Calmet, Jacques (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 45.28
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermanyRoland Antiquariat UG haftungsbeschränkt
Contact seller5-star sellerCondition: Used
£ 11.56
£ 36.27 shippingShips from Germany to U.S.A.Quantity: 1 available
1998. 316 S. sehr guter Zustand --- This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address var…ious aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery. 9783540649601 Sprache: Deutsch Gewicht in Gramm: 550.
- Softcover
Seller: avelibro OHG, Dinkelscherben, Germanyavelibro OHG
Contact seller5-star sellerCondition: Used - Very good
£ 19.57
£ 8.64 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Gut. XIII, 268 S., graph. Darst. Einband mit leichten Druckstellen. Kl. handschriftlicher Namenseintrag a. d. Vorsatz. Untere rechte Ecke leicht bestoßen, sonst tadellos erhalten. Lecture notes in computer science ; Vol. 4120 : Lecture notes in artificial intelligence. From the contents; Vorwort. Invited Presentations…; Algebra and Geometry - Ineraction Between "Equations" and "Shapes"; Contributed Papers Artificial Intelligence and Theorem Proving; Symbolic Computation; Constraint Satisfaction/Solving; Mathematical Knowledge Management. Innen tadellos erhalten. deu B12-01-05B|GH52|8465DB Sprache: Deutsch Gewicht in Gramm: 444 24 cm. Original Broschur. Untere Ecke etwas bestoßen.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 50.77
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, Aisc 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 Proceedings
Calmet, Jacques (EDT); International Conference AISC 2000 (2000 : Madrid, Spain) (COR); Calculemus (2002 Marseille, France) (COR)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 50.77
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 Proceedings
Calmet, Jacques (EDT); Ida, Tetsuo (EDT); Wang, Dongming (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 51.36
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 53.12
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Artificial Intelligence and Symbolic Computation : 13th International Conference, Aisc 2018, Suzhou, China, September 16?19, 2018, Proceedings
Fleuriot, Jacques (EDT); Wang, Dongming (EDT); Calmet, Jacques (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 53.12
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Artificial Intelligence and Symbolic Computation : 12th International Conference, Aisc 2014, Seville, Spain December 11-13 2014 Proceedings
Aranda-corral, Gonzalo A. (EDT); Calmet, Jacques (EDT); Martín-mateos, Francisco J. (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 42.28
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin 2010
- Softcover
Seller: Grand Eagle Retail, Bensenville, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
£ 59.59
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. 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. Constitutes the joint refereed proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2010, the 17th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2010, and the 9th International Conference on Mathematical Knowledge Management, MKM 2010. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 45.35
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.43
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.43
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
