Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
EUR 6,93
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. 344 pp., paperback, ex library, else textually clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Vendeur : Buchpark, Trebbin, Allemagne
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Edité par Berlin, Heidelberg: Springer-Verlag, 2010
ISBN 10 : 3642142028 ISBN 13 : 9783642142024
Langue: anglais
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
EUR 26,10
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierBroschiert. Etat : Sehr gut. Lecture Notes in Artificial Intelligence, Band 6173. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 534 Seiten, Englisch 808g.
Edité par Springer Berlin Heidelberg, 1994
ISBN 10 : 3540582169 ISBN 13 : 9783540582168
Langue: anglais
Vendeur : Buchpark, Trebbin, Allemagne
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 60,20
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Edité par Springer Berlin Heidelberg, 1994
ISBN 10 : 3540582169 ISBN 13 : 9783540582168
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 volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship 'Marshal Koshevoi' on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR.This proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees ensuring a program of highest quality. The papers cover all relevant aspects of LP and AR ranging from theory to implementation and application.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 56,62
Autre deviseQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 52,82
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Best Price, Torrance, CA, Etats-Unis
EUR 47,71
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 59,56
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 60,13
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 65,97
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
EUR 40,96
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. 0387582169 Ex-library paperback in very nice condition with the usual markings and attachments.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 51,66
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Best Price, Torrance, CA, Etats-Unis
EUR 94,95
Autre deviseQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
Edité par Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10 : 3642142028 ISBN 13 : 9783642142024
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 145,09
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware - This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University ofEdinburgh,Scotland. Support by the conference sponsors - EPSRC, NSF, Microsoft Research, Association for Symbolic Logic, CADE Inc. , Google, Hewlett-Packard, Intel - is gratefully acknowledged. IJCARisthepremierinternationaljointconferenceonalltopicsinautomated reasoning, including foundations, implementations, and applications. Previous IJCAR conferences were held at Siena (Italy) in 2001, Cork (Ireland) in 2004, Seattle (USA) in 2006, and Sydney (Australia) in 2008. IJCAR comprises s- eral leading conferences and workshops. In 2010, IJCAR was the fusion of the following events: -CADE: International Conference on Automated Deduction -FroCoS: International Symposium on Frontiers of Combining Systems -FTP: International Workshop on First-Order Theorem Proving - TABLEAUX: InternationalConferenceonAutomatedReasoningwith- alytic Tableaux and Related Methods There were 89 submissions (63 regular papers and 26 system descriptions) of which 40 were accepted (28 regular papers and 12 system descriptions). Each submission was assigned to at least three Program Committee members, who carefully reviewed the papers, with the help of 92 external referees. Afterwards, the submissions were discussed by the ProgramCommittee during two weeks by means of Andrei Voronkov's EasyChair system. We want to thank Andrei very much for providing his system, which was very helpful for the management of the submissions and reviews and for the discussion of the Program Committee.
Edité par Springer-Verlag New York Inc, 2010
ISBN 10 : 3642142028 ISBN 13 : 9783642142024
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 153,50
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 2010 edition. 534 pages. 9.00x6.00x1.25 inches. In Stock.