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: 01660691
Price: 58.53 EUR
Availability: InStock
Author: Nikolaj Bj
ISBN: 9783642287169

18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Nikolaj Bj

Andrei Voronkov

Language

English

Book Paperback

Libristo code: 01660691

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2012

This book constitutes the proceedings of the 18th International Conference on Logic for Programming,... Full description

Libristo code: 01660691

141 b

58.53 €

Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

BLISTERS ALBUM Y 15 SOBRES GORJUSS 2

binding.

13.87 €

Français - Étude de la langue CM1-CM2 Mauffrey

Paperback

24.91 €

Coñodramas Moderna de Pueblo

Audio CD

25.21 €

Ciudadelas de la soberbia MARTHA C. NUSSBAUM

Paperback

25.82 €

U-Bahn, S-Bahn & Tram in Warszawa Robert Schwandl

Paperback

16.50 €

Spezialgebiete aus der Schulter- und Ellenbogenchirurgie 2. Bd.2 Ulrich Brunner

Paperback

66.13 €

Leben und Lehre des Buddha Richard Pischel

Paperback

17.92 €

Memoires de Claude Haton: Contenant Le Recit Des Evenements Accomplis. T 2 (Ed.1857) Claude Haton

Paperback

40.20 €

religionsgeschichtliche Ansicht, 1841 Friedrich Wilhelm Joseph von Schelling

Paperback

18.42 €

Abacolino - Abaco 20 tricolor - Arbeitsheft Helmut Wentzke

Sheet

10.22 €

El ser humano es capaz de crearse a sí mismo José García del Olmo

Paperback

32.70 €

Imágenes de la locura : la psicopatología en el cine Beatriz Vera Poseck

Paperback

23.99 €

Color My Day The Jewish Way (Yiddish) Miriam Yerushalmi

Hardback

16.50 €

Co się stało z Iwoną Wieczorek wyd. 2 Janusz Szostak

Paperback

8.09 €

Portrait ou la Jeune orpheline. Tome 2 HOLFORD-M

Paperback

22.17 €

Oswajanie przez bajanie Bajki psychoterapeutyczne Furmańska Sabina

Hardback

4.55 €

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions.§The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.