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.99 €

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.76 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.76 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

La Sainte-Chapelle Paris NE Françoise Perrot

Hardback

36.66 €

Maximilian Richter: Die Bibel in Hausandachten. Band 1 Maximilian Richter

Hardback

173.93 €

Guia Completa Para Tu Volpino Italiano Acosta Julia Acosta

Paperback

15.39 €

Hans Von Bulow Marie von Bülow

Paperback

35.75 €

CANDYMAN - BRD ROSE Video

DVD

31.80 €

Handboek Praktijkvoering: Bouwstenen Voor de Huisartsgeneeskunde Fred Dijkers

Hardback

87.01 €

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

Paperback

16.60 €

DIME QUE ME QUIERES AUNQUE SEA MENTIRA ROIG

Book

26.43 €

CORPOS. AS OUTRAS VIDAS DO CADAVER COUTO-FERREIRA

Book

19.34 €

Nederlandsk Flemming André Philip Ravn

Paperback

33.93 €

Dr. Lampe's Bienenzucht C.O. Lampe

Paperback

33.93 €

Rechnernetze Peter Schnupp

Hardback

119.33 €

Magie und Aberglaube bei Cervantes Janina Klinck

Paperback

40.21 €

Das Stadtlogo als Stadtmarketing-Instrument Daniel Gromotka

Paperback

50.03 €

Lehrbuch der Lacktechnologie Thomas Brock

Hardback

206.24 €

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

Paperback

22.38 €

La fiducía sucesoria secreta Sergio Cámara Lapuente

Paperback

90.76 €

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

37.57 €

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.