Jacques Calmet (138 results)
- Hardcover
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.Doss-Haus Books
Contact seller5-star sellerCondition: Used - Very good
US$ 15.00
US$ 5.50 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, NC, U.S.A.Reader's Corner, Inc.
Contact seller5-star sellerCondition: Used - Near fine
US$ 15.00
US$ 5.50 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: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 20.61
US$ 8.73 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. pp. 208 Illus.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 25.88
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 208.
- Softcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 22.06
US$ 11.55 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. pp. 208.
Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Calmet, Jacques [Editor]; Geiselmann, Willi [Editor]; Müller-Quade, Jörn [Editor];
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
US$ 29.19
US$ 6.99 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
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 seller5-star sellerCondition: Used - Good
US$ 11.96
US$ 26.11 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover. Condition: Befriedigend. Nein. Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille France July 2002. Gebrauchsspuren, 341 Seiten. Nein.
More imagesLanguage: English
Published by Karlsruhe, Universitätsverlag 2006
- Softcover
Seller: avelibro OHG, Dinkelscherben, , Germanyavelibro OHG
Contact seller5-star sellerCondition: Used - Fine
US$ 33.48
US$ 11.61 shippingShips from Germany to U.S.A.Quantity: 1 available
8° Broschiert. Condition: Sehr gut. 369 S. Leichte Lagerspuren, sonst wie neu. B02-03-02C Sprache: Englisch Gewicht in Gramm: 513.
- Softcover
Seller: avelibro OHG, Dinkelscherben, , Germanyavelibro OHG
Contact seller5-star sellerCondition: Used - Fine
US$ 34.68
US$ 11.61 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
US$ 20.33
US$ 13.93 shippingShips from Germany to U.S.A.Quantity: 1 available
Paperback 23x16 cm, slightly rubbed, pp. 305 Gewicht in Gramm: 420.
- Softcover
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
Contact seller5-star sellerCondition: Used - Very good
US$ 44.94
US$ 6.71 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: Herr Klaus Dieter Boettcher, Karlsruhe, BW, GermanyHerr Klaus Dieter Boettcher
Contact seller4-star sellerCondition: Used - Fine
US$ 20.09
US$ 13.93 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, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 57.03
US$ 2.64 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, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 58.92
US$ 2.64 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
US$ 15.55
US$ 48.76 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
US$ 26.31
US$ 11.61 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, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 62.41
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 65.06
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, Aismc-2, Cambridge, United Kingdom, August. Book.
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 65.32
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Artificial Intelligence and Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998, Proceedings. Book.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Very good
US$ 67.99
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. 1998th Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 65.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 68.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 66.25
US$ 2.64 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, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 66.25
US$ 2.64 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, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 67.02
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Mathematical Methods in Computer Science : Essays in Memory of Thomas Beth
Calmet, Jacques (EDT); Geiselmann, Willi (EDT); Muller-Quade, Jorn (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.06
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.06
US$ 2.64 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, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.06
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
US$ 64.90
US$ 6.99 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.48
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
