Free delivery for orders over 69.99 euro.

Check order status

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

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Logic for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01657129
Price: 51.75 EUR
Availability: InStock
Author: Edmund M. Clarke
ISBN: 9783642175107

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

Edmund M. Clarke

Andrei Voronkov

Language

English

Book Paperback

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

Libristo code: 01657129

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

CANDYMAN - BRD ROSE Video

DVD

32.10 €

La Sainte-Chapelle Paris NE Françoise Perrot

Hardback

36.86 €

I Love Winter (English Hindi Bilingual Book for Kids) Kidkiddos Books

Paperback

16.60 €

Hans Von Bulow Marie von Bülow

Paperback

35.74 €

CORPOS. AS OUTRAS VIDAS DO CADAVER COUTO-FERREIRA

Book

21.56 €

Rechnernetze Peter Schnupp

Hardback

119.30 €

Dr. Lampe's Bienenzucht C.O. Lampe

Paperback

33.92 €

Lehrbuch der Lacktechnologie Thomas Brock

Hardback

206.20 €

Santa Valentina tiene un plan Regina Román Gómez

Paperback

22.37 €

La fiducía sucesoria secreta Sergio Cámara Lapuente

Paperback

100.56 €

Le Salon De Lady Betty: Moeurs Anglaises, Volume 2 Marceline Desbordes-Valmore

Paperback

26.02 €

Excursions Historiques Et Philosophiques A Travers Le Moyen Age (Ed.1888) Charles Jourdain

Paperback

38.17 €

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.