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

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 125 b
51.73 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

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

The Naval History of the United States Willis J Abbot / Book Paperback
common.buy 33.71 €
Dirty Little Secrets of World War II: Military Information No One Told You... James F. Dunningan / Book Paperback
common.buy 17.20 €
Monroe Township and Jamesburg John D. Katerba / Book Paperback
common.buy 20.85 €
History of the Life of Thomas Ellwood Charles George Crump / Book Hardback
common.buy 33.61 €
REPORTS OF CASES ARGUED & DETE New York (State) Supreme Court / Book Paperback
common.buy 30.77 €
Characterisation of Women in Maxim Gorky's Novel "Mother". A Marxist Feminist Perspective Javed Akhtar / Book Paperback
common.buy 16.19 €
On the Boardwalk - Hometown Gallery 1000pc: One the Boardwalk Masterpieces Inc / Book binding.
common.buy 13.26 €
Where The States Stand On Civil Rights Richard Barnett / Book Paperback
common.buy 26.93 €
Die Jäger: Ein ländliches Sittengemälde in fünf Aufzügen August Wilhelm Iffland / Book Paperback
common.buy 12.14 €
Leviathan Thomas Hobbes / Book Paperback
common.buy 19.53 €
Ensam Jonathon Robert Bone / Book Paperback
common.buy 8.60 €
Logic for Applications Anil Nerode / Book Paperback
common.buy 91.02 €
Are MicroRNAs Promising Diagnostic Markers in Cancer Eman Refaat / Book Paperback
common.buy 32.09 €
When She's Bad, I'm Badder: Jiao & Dreek, A Crazy Love Story Tina J / Book Paperback
common.buy 12.14 €
Ratatouille Brad Bird / Video DVD
common.buy 10.01 €
Super Nutrition Terry McIlroy / Book Paperback
common.buy 25.20 €
Council Government Versus Mayor Government (1900) Edward Dana Durand / Book Paperback
common.buy 15.08 €
Language Exercises (1889) Robert Comfort Metcalf / Book Paperback
common.buy 27.84 €
CBD Oil for Health James Coley / Book Hardback
common.buy 20.34 €
Top
Don't Diet. Be Happy. Katherine McIntosh / Book Paperback
common.buy 12.04 €
Healing your wounded inner child Stella Nash / Book Paperback
common.buy 15.58 €
From Brand Vision to Brand Evaluation Leslie de Chernatony / Book Paperback
common.buy 86.67 €
America's Founding and the Struggle over Economic Inequality Clement Fatovic / Book Hardback
common.buy 53.05 €
Elementary Theory of L-functions and Eisenstein Series Haruzo Hida / Book Paperback
common.buy 113.50 €

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?