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 9.99 €

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

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Informationsmodellierung in XML und SGML Henning Lobin

Paperback

51.68 €

Silencer T04 Sho Fumimura

Paperback

10.97 €

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

Paperback

14.40 €

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

Paperback

23.06 €

Prévention de la désinsertion professionnelle des personnes en situation de handicap au travail GEDER

Paperback

24.17 €

Un jour, il t'arrivera du bonheur Guerdner

Paperback

18.43 €

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

Stationery items

2.81 €

Pharmakovigilanz Sachdev Yadav

Paperback

54.10 €

Osteopathic Medicine Patrick Van Den Heede

Adobe ePub DRM

25.68 €

Turing y el ordenador Paul Strathern

Adobe ePub DRM

4.32 €

Foxgirls - Wenn die Fuchsmagie erwacht Maria Karipidou

Hardback

14.20 €

Dare spazio. Terzo settore, politica, welfare Carlo Borzaga

Paperback

19.64 €

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

Digital CD

53.80 €

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

Paperback

7.45 €

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

Hardback

97.33 €

Competencias para el desarrollo de las Habilidades de Pensamiento Gildardo Aguilar

Paperback

43.62 €

Abrege de l'Histoire Generale Des Voyages. Tome 25 De La Harpe-J

Paperback

25.18 €

Physiologie Pathologique Tome 1 Lebert

Paperback

31.93 €

Horizontale Europaisierung Im Feld Der Arbeitsbeziehungen Susanne Pernicka

Paperback

43.32 €

Aprende a Escribir, caligrafía, 1 Educación Infantil Mestas

Paperback

10.97 €

Allah, Tabiat ve Tarih saban Ali Düzgün

Paperback

14.10 €

Tüdelbüdel Michael Schmitz

Game

8.45 €

Poník má problémy Jeanne Betancourt

Hardback

5.43 €

Mi Primer Libro de Poesia JOSE LUIS FERRIS

Hardback

10.07 €

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.