Code: 01561453

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: 01561453
Price: 103.16 EUR
Availability: InStock
Author: Geoff Sutcliffe
ISBN: 9783540305538

by Geoff Sutcliffe, Andrei Voronkov

Language: English
Binding: Paperback
Number of pages: 744
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005
More about this

103.16 €

RRP: 111.80 €

You save 8.64 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

RE: Zero -Starting Life in Another World- Short Story Collection, Vol. 3 (Light Novel)
13.16 € -22 %
Buy
Do Dice Play God?
30.70 €
Buy
Black Unicorn
12.05 € -24 %
Buy
Manganese in Soils and Plants
226.60 € -7 %
Buy
Entrümpeln Und Ausmisten Leicht Gemacht: Wie Sie Mit Minimalismus Mehr Ordnung Und Sauberkeit Im Haus Schaffen Inkl. Tipps Zum Aufräumen Für Bücher Un
7.49 € -7 %
Buy
Ein Polizist im falschen Spiel
24.52 € -16 %
Buy
Mikrobiologisches Praktikum
53.20 € -7 %
Buy
Csr in Nordrhein-Westfalen
28.47 € -6 %
Buy
Management en el tercer milenio
17.02 €
Buy
Luca Gazzaniga
35.16 € -25 %
Buy
Malayalam Children's Book: Alice in Wonderland (English and Malayalam Edition)
7.29 € -6 %
Buy
Advertisements for the Unexperienced Planters of New England, or Anywhere, Or, the Pathway to Erect a Plantation: By Captain John Smith.
13.98 € -24 %
Buy
Product Manager
35.46 € -7 %
Buy
Life Is a Dream
8.91 € -7 %
Buy
Beautiful Blue World
12.56 €
Buy
Moments In Time
10.63 € -7 %
Buy
Schriften in steirischer Mundart
24.21 € -11 %
Buy
La acción declarativa de dominio y la acción reivindicatoria
46.30 €
Buy
Teacher Education and Professional Development in TESOL
235.01 €
Buy
Child He Gave Me, Sara
17.42 €
Buy
?Cómo crear un medio impreso para tu comunidad?
21.17 € -2 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Logic for Programming, Artificial Intelligence, and Reasoning

Book details
Synopsis
Trending among others

You get 249 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005, held in Montego Bay, Jamaica in December 2005.§The 46 revised full papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 108 full paper submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

Book details

Book category Books in English Computing & information technology Computer programming / software development

103.16 €

Full title: Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
Author: Geoff Sutcliffe, Andrei Voronkov
Language: English
Binding: Paperback
Number of pages: 744
EAN: 9783540305538
ISBN: 354030553X
ID: 01561453
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 2320 g
Dimensions: 235 × 155 × 41 mm
Date of publishing: 24. November 2005