Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 114,65
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 129,60
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 114,64
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: preigu, Osnabrück, Germania
EUR 95,15
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings | Iliano Cervesato (u. a.) | Taschenbuch | xiv | Englisch | 2008 | Springer | EAN 9783540894384 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2008
ISBN 10: 3540894381 ISBN 13: 9783540894384
Da: moluna, Greven, Germania
EUR 118,86
Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers present.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2008
ISBN 10: 3540894381 ISBN 13: 9783540894384
Da: Revaluation Books, Exeter, Regno Unito
EUR 159,70
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2008 edition. 714 pages. 9.00x5.75x1.00 inches. In Stock.
Lingua: Inglese
Editore: Springer, Berlin, Springer, 2008
ISBN 10: 3540894381 ISBN 13: 9783540894384
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 116,27
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 175,28
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 165,75
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 197,54
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer, Berlin, Springer Berlin Heidelberg, Springer, 2008
ISBN 10: 3540894381 ISBN 13: 9783540894384
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 106,99
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics. 714 pp. Englisch.