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

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

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: 01571017
Price: 112.39 EUR
Availability: InStock
Author: Iliano Cervesato
ISBN: 9783540894384

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

Iliano Cervesato

Helmut Veith

Andrei Voronkov

Language

English

Book Paperback

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

Libristo code: 01571017

275 b

112.39 € VAT included

In stock at our supplier Shipping in 9-13 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

NÁBOŽENSTVÍ V GLOBÁLNÍ OBČANSKÉ SPOLEČNOSTI Jiří Hanuš

Book

7.19 €

Perspectieven van studenten op onderwijsinteractie

Paperback

35.30 €

Esku alatt Steve Cavanagh

Adobe ePub DRM

10.49 €

BATMAN: EL REGRESO DEL CABALLERO OSCURO (DC BLACK LABEL POCKET) MILLER

Paperback

13.99 €

Sporťákovy pohádky z celého světa Vojtěch Bernatský

Hardback

13.29 €

EL BRUC : EL MEDI, LA HISTORIA, L'ART ESTRADA PLANELL

Book

14.19 €

Pediatra de Atención Primaria del Servicio Aragonés de Salud. Temario común volumen 2 Editores

Paperback

40.19 €

histoire de france et des francais cm Billebault Book

Hardback

9.59 €

Bůh a božství v německém filosofickém myšlení Ladislav Benyovszky

Paperback

8.29 €

Annali Dell' Industria E Del Commercio, 1882: Il Corallo (1883) Giovanni Canestrini

Paperback

24.19 €

V lese Čo veverička videla Anna Milbourne

Board book

4.89 €

Die Sachkultur des Mittelalters im Lichte der archaeologischen Funde Sabine Felgenhauer-Schmiedt

Paperback

78.49 €

Lehrbuch Der Inneren Medizin Ernst Lauda

Paperback

59.99 €

Kinderschutzklauseln zur Begrenzung der Zerrüttungsscheidung im Rechtskreis der Bundesrepublik Deutschland und der ehemaligen DDR. Rainer Strauß

Paperback

59.90 €

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.