Hardcover. Condizione: 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].
Da: Reader's Corner, Inc., Raleigh, NC, U.S.A.
Prima edizione
Hardcover. Condizione: 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.
Da: Early Republic Books, Hopatcong, NJ, U.S.A.
TPB. Condizione: G. G TRADE-PAPERBACK. EX-LIBRARY WITH TYPICAL MARKINGS.
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
EUR 7,98
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Condizione sovraccoperta: No Dust Jacket. Lecture Notes in Computer Science 737; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2010
ISBN 10: 3642141277 ISBN 13: 9783642141270
Da: Ammareal, Morangis, Francia
EUR 5,84
Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: 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.
EUR 17,95
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 208 Illus.
Condizione: New. pp. 208.
Lingua: Inglese
Editore: Springer Berlin 02.09.1998., 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germania
EUR 13,00
Quantità: 1 disponibili
Aggiungi al carrello1998. 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 various 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.
EUR 18,63
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 208.
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Lingua: Inglese
Editore: Springer Verlag, Berlin Heidelberg New York, 2002
ISBN 10: 3540438653 ISBN 13: 9783540438656
Da: Antiquariat WIE, Lollar, Germania
EUR 10,00
Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione sovraccoperta: Nein. Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille France July 2002. Gebrauchsspuren, 341 Seiten. Nein.
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condizione: 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 printed 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.
Condizione: New. Brand New, Softcover edition. This item may ship from the US or our Overseas warehouse depending on your location and stock availability.
EUR 28,00
Quantità: 1 disponibili
Aggiungi al carrello8° Broschiert. Condizione: Sehr gut. 369 S. Leichte Lagerspuren, sonst wie neu. B02-03-02C Sprache: Englisch Gewicht in Gramm: 513.
Lingua: Inglese
Editore: KIT Scientific Publishing 19.10.2006., 2006
ISBN 10: 3866440359 ISBN 13: 9783866440357
EUR 29,00
Quantità: 1 disponibili
Aggiungi al carrello8° Paperback. Condizione: 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 results 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.
Editore: Springer, Berlin et.al., 1993
ISBN 10: 3540573224 ISBN 13: 9783540573227
Da: Antiquariat Puderbach, Dresden, Germania
EUR 17,00
Quantità: 1 disponibili
Aggiungi al carrelloPaperback 23x16 cm, slightly rubbed, pp. 305 Gewicht in Gramm: 420.
EUR 16,80
Quantità: 1 disponibili
Aggiungi al carrelloBroschiert. Condizione: Sehr gut. 369 Seiten Auflage 2006.Broschiert, fast wie neu. Sprache: Deutsch Gewicht in Gramm: 523.
Da: UK BOOKS STORE, London, LONDO, Regno Unito
EUR 45,01
Quantità: 7 disponibili
Aggiungi al carrelloCondizione: New. Brand New ! Fast Delivery "International 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 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 50,79
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 52,48
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Tedesco
Editore: Springer, Berlin/Heidelberg/New York, 2006
ISBN 10: 3540397280 ISBN 13: 9783540397281
EUR 22,00
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 57,99
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 57,99
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 58,66
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 60,67
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 60,67
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642141277 ISBN 13: 9783642141270
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: 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.