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

DPD courier 4.99 € GLS courier 11.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: 01558600
Price: 51.69 EUR
Availability: InStock
Author: Moshe Vardi
ISBN: 9783540201014

10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings

Moshe Vardi

Andrei Voronkov

Language

English

Book Paperback

Libristo code: 01558600

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2003

This book constitutes the refereed proceedings of the 10th International Conference on Logic Program... Full description

Libristo code: 01558600

125 b

51.69 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Informationsmodellierung in XML und SGML Henning Lobin

Paperback

51.89 €

Epochen der Musikgeschichte, Heft Wieland Schmid

Paperback

38.13 €

A legnagyszerűbb könyv a nárcizmusról Bánki György

Paperback

14.36 €

Recueil des actes de l'Académie impériale des sciences, belles-lettres et arts de Bordeaux Auteur inconnu

Hardback

97.73 €

La maladie de Parkinson SOFMA

Paperback

52.20 €

Silencer T04 Sho Fumimura

Paperback

11.93 €

Ambassador Hotel - La mort d'un Kennedy, la naissance d'une rock star Desjardins

Paperback

24.07 €

Un jour, il t'arrivera du bonheur Guerdner

Paperback

19.52 €

Krysí královny Démoni Wiebe Kurtis J.

Paperback

13.04 €

Pharmakovigilanz Sachdev Yadav

Paperback

54.32 €

Agata mène l'enquête, Tome 01 Paul Martin

Paperback

8.49 €

Poker Matisse Printed items

Cards

3.83 €

Poník má problémy Jeanne Betancourt

Hardback

5.45 €

Competencias para el desarrollo de las Habilidades de Pensamiento Gildardo Aguilar

Paperback

43.80 €

Plastic blok NEON zelený A6, linka, 60 listů

Stationery items

2.52 €

Espanol sin fronteras 2 - CD k pracovnímu sešitu Isabel Santos Gargallo

Digital CD

55.03 €

Friedrich Tabellenbuch Werner Beermann

Hardback

49.26 €

Die Neuerfindung der Natur Donna Haraway

Paperback

32.16 €

Lalius Oder Von Der Freundschaft Marcus Tullius Cicero

Paperback

8.99 €

Barfussele Berthold Auerbach

Hardback

22.35 €

Sprichwoerter bei den roemischen Komiker Wilhelm von Wyss

Paperback

29.43 €

Radium Und Die Farben C. Doelter

Paperback

28.52 €

Cyber-Sicherheit Hans-Jürgen Lange

Paperback

51.89 €

Die Konzeption überarbeiten und weiterentwickeln Sonja Alberti

Paperback

16.68 €

This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003.§§The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction.