Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Logic for Programming, Artificial Intelligence, and Reasoning

15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Language EnglishEnglish
Book Paperback
Book Logic for Programming, Artificial Intelligence, and Reasoning Iliano Cervesato
Libristo code: 01571017
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2008
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Pro... Full description
? points 277 b
114.64 €
Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Sporťákovy pohádky z celého světa Vojtěch Bernatský / Book Hardback
common.buy 13.46 €
Esku alatt Steve Cavanagh / E-book Adobe ePub DRM
common.buy 12.45 €
BATMAN: EL REGRESO DEL CABALLERO OSCURO (DC BLACK LABEL POCKET) MILLER / Book Paperback
common.buy 15.49 €
NÁBOŽENSTVÍ V GLOBÁLNÍ OBČANSKÉ SPOLEČNOSTI Jiří Hanuš / Book Book
common.buy 7.08 €
Die Sachkultur des Mittelalters im Lichte der archaeologischen Funde Sabine Felgenhauer-Schmiedt / Book Paperback
common.buy 85.68 €
EL BRUC : EL MEDI, LA HISTORIA, L'ART ESTRADA PLANELL / Book Book
common.buy 15.99 €
Pediatra de Atención Primaria del Servicio Aragonés de Salud. Temario común volumen 2 Editores / Book Paperback
common.buy 44.45 €
Top
Bůh a božství v německém filosofickém myšlení Ladislav Benyovszky / Book Paperback
common.buy 10.42 €
Annali Dell' Industria E Del Commercio, 1882: Il Corallo (1883) Giovanni Canestrini / Book Paperback
common.buy 25.11 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Logic for Programming, Artificial Intelligence, and Reasoning
Author Iliano Cervesato, Helmut Veith, Andrei Voronkov
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 714
EAN 9783540894384
ISBN 3540894381
Libristo code 01571017
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1098
Dimensions 155 x 235 x 28

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Products Y. Asakawa / Book Paperback
common.buy 114.64 €
Picture of God Daniel Speck / Book Paperback
common.buy 13.06 €
Monograph on Privately Illustrated Books Daniel M. (Daniel Melanctho Tredwell / Book Hardback
common.buy 39.29 €
Rick And Morty Presents Vol. 4 Alex Firer / Book Paperback
common.buy 17.11 €
Samy the Star JULIE GASIOR / Book Paperback
common.buy 12.45 €
Analysis of Pretest-Posttest Designs Peter L. Bonate / Book Paperback
common.buy 72.20 €
The Capture And Execution Of John Brown: A Tale Of Martyrdom (1906) Elijah Avey / Book Paperback
common.buy 19.33 €
European Glimpses and Glances J. M. Emerson / Book Hardback
common.buy 32.60 €
Synthetic Biology: A Very Short Introduction Jamie A. (British) Davies / Book Paperback
common.buy 10.62 €
Conversion Ruined: The New Perspective and the Conversion of Sinners David H J Gay / Book Paperback
common.buy 6.17 €
VITAL RECORDS OF WESTPORT, MASSACHUSETTS WESTPORT WESTPORT / Book Paperback
common.buy 23.08 €
Inside the Gates of Doons Mirika Mayo Cornelius / Book Paperback
common.buy 13.06 €
Religious Education as Practical Theology Essays in Honour of Professor Herman Lombaerts Graham Warren / Book Paperback
common.buy 72.10 €
Grimm's Fairy Stories Jacob Grimm / Book Paperback
common.buy 11.74 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?