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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Logic for Programming, Artificial Intelligence, and Reasoning

16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Logic for Programming, Artificial Intelligence, and Reasoning Edmund M. Clarke
Libristo code: 01657129
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

CANDYMAN - BRD ROSE Video DVD
common.buy 33.09 €
La Sainte-Chapelle Paris NE Françoise Perrot / Book Hardback
common.buy 37.99 €
I Love Winter (English Hindi Bilingual Book for Kids) Kidkiddos Books / Book Paperback
common.buy 17.19 €
Hans Von Bulow Marie von Bülow / Book Paperback
common.buy 39.90 €
CORPOS. AS OUTRAS VIDAS DO CADAVER COUTO-FERREIRA / Book Book
common.buy 22.39 €
Rechnernetze Peter Schnupp / Book Hardback
common.buy 123.99 €
Dr. Lampe's Bienenzucht C.O. Lampe / Book Paperback
common.buy 37.90 €
Lehrbuch der Lacktechnologie Thomas Brock / Book Hardback
common.buy 219.00 €
Santa Valentina tiene un plan Regina Román Gómez / Book Paperback
common.buy 23.29 €
La fiducía sucesoria secreta Sergio Cámara Lapuente / Book Paperback
common.buy 104.09 €
Le Salon De Lady Betty: Moeurs Anglaises, Volume 2 Marceline Desbordes-Valmore / Book Paperback
common.buy 26.89 €
Excursions Historiques Et Philosophiques A Travers Le Moyen Age (Ed.1888) Charles Jourdain / Book Paperback
common.buy 39.39 €

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which§took place in Dakar, Senegal, in April/May 2010.§The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as 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 Edmund M. Clarke, Andrei Voronkov
Language English
Binding Book - Paperback
Date of issue 2011
Number of pages 517
EAN 9783642175107
ISBN 3642175104
Libristo code 01657129
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 791
Dimensions 155 x 235 x 29

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 > Compilers & interpreters
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
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

Dirty Little Secrets of World War II: Military Information No One Told You... James F. Dunningan / Book Paperback
common.buy 17.89 €
Logic for Applications Anil Nerode / Book Paperback
common.buy 94.39 €
Monroe Township and Jamesburg John D. Katerba / Book Paperback
common.buy 21.89 €
History of the Life of Thomas Ellwood Charles George Crump / Book Hardback
common.buy 34.79 €
REPORTS OF CASES ARGUED & DETE New York (State) Supreme Court / Book Paperback
common.buy 31.79 €
Characterisation of Women in Maxim Gorky's Novel "Mother". A Marxist Feminist Perspective Javed Akhtar / Book Paperback
common.buy 16.89 €
On the Boardwalk - Hometown Gallery 1000pc: One the Boardwalk Masterpieces Inc / Book binding.
common.buy 13.89 €
Where The States Stand On Civil Rights Richard Barnett / Book Paperback
common.buy 27.89 €
Die Jäger: Ein ländliches Sittengemälde in fünf Aufzügen August Wilhelm Iffland / Book Paperback
common.buy 12.59 €
Top
Leviathan Thomas Hobbes / Book Paperback
common.buy 20.29 €
Ensam Jonathon Robert Bone / Book Paperback
common.buy 8.89 €
The Naval History of the United States Willis J Abbot / Book Paperback
common.buy 35.09 €
Are MicroRNAs Promising Diagnostic Markers in Cancer Eman Refaat / Book Paperback
common.buy 33.59 €
When She's Bad, I'm Badder: Jiao & Dreek, A Crazy Love Story Tina J / Book Paperback
common.buy 12.59 €
Ratatouille Brad Bird / Video DVD
common.buy 10.49 €
Super Nutrition Terry McIlroy / Book Paperback
common.buy 26.29 €
Council Government Versus Mayor Government (1900) Edward Dana Durand / Book Paperback
common.buy 15.49 €
Language Exercises (1889) Robert Comfort Metcalf / Book Paperback
common.buy 28.79 €
Top
Don't Diet. Be Happy. Katherine McIntosh / Book Paperback
common.buy 12.69 €
Healing your wounded inner child Stella Nash / Book Paperback
common.buy 16.09 €
Algebraic Fantasies and Realistic Romances Brian Stableford / Book Paperback
common.buy 16.49 €
Form, Program, and Metaphor in the Music of Berlioz Stephen Rodgers / Book Hardback
common.buy 137.89 €
Elementary Theory of L-functions and Eisenstein Series Haruzo Hida / Book Paperback
common.buy 117.39 €
Invariant Subspaces of Matrices with Applications Israel GohbergPeter LancasterLeiba Rodman / Book Paperback
common.buy 157.29 €

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?