Sprache: Englisch
Verlag: Springer Verlag, New York, 1996
ISBN 10: 3540617329 ISBN 13: 9783540617327
Anbieter: Doss-Haus Books, Redondo Beach, CA, USA
Hardcover. Zustand: 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].
Anbieter: Reader's Corner, Inc., Raleigh, NC, USA
Erstausgabe
Hardcover. Zustand: 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.
EUR 18,22
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 208 Illus.
Zustand: New. pp. 208.
Zustand: New. pp. 208.
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Sprache: Englisch
Verlag: Springer Verlag, Berlin Heidelberg New York, 2002
ISBN 10: 3540438653 ISBN 13: 9783540438656
Anbieter: Antiquariat WIE, Lollar, Deutschland
Softcover. Zustand: Befriedigend. Zustand des Schutzumschlags: Nein. Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille France July 2002. Gebrauchsspuren, 341 Seiten. Nein.
Sprache: Englisch
Verlag: Karlsruhe, Universitätsverlag, 2006
8° Broschiert. Zustand: Sehr gut. 369 S. Leichte Lagerspuren, sonst wie neu. B02-03-02C Sprache: Englisch Gewicht in Gramm: 513.
Zustand: New. Brand New, Softcover edition. This item may ship from the US or our Overseas warehouse depending on your location and stock availability.
Sprache: Englisch
Verlag: KIT Scientific Publishing 19.10.2006., 2006
ISBN 10: 3866440359 ISBN 13: 9783866440357
8° Paperback. Zustand: 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.
Verlag: Springer, Berlin et.al., 1993
ISBN 10: 3540573224 ISBN 13: 9783540573227
Anbieter: Antiquariat Puderbach, Dresden, Deutschland
Paperback 23x16 cm, slightly rubbed, pp. 305 Gewicht in Gramm: 420.
Zustand: New.
Anbieter: UK BOOKS STORE, London, LONDO, Vereinigtes Königreich
EUR 45,95
Anzahl: 7 verfügbar
In den WarenkorbZustand: 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.
Zustand: New.
Sprache: Deutsch
Verlag: Springer, Berlin/Heidelberg/New York, 2006
ISBN 10: 3540397280 ISBN 13: 9783540397281
Zustand: 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.
Sprache: Englisch
Verlag: Springer Berlin 02.09.1998., 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
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 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.
Zustand: As New. Unread book in perfect condition.
Zustand: As New. Unread book in perfect condition.
Zustand: As New. Unread book in perfect condition.
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Zustand: As New. Unread book in perfect condition.
Zustand: As New. Unread book in perfect condition.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 50,13
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 54,42
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642141277 ISBN 13: 9783642141270
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Paperback. Zustand: 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.
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: 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.
Anbieter: Early Republic Books, Hopatcong, NJ, USA
TPB. Zustand: G. G TRADE-PAPERBACK. EX-LIBRARY WITH TYPICAL MARKINGS.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,51
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,51
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,51
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.