Code: 01558600

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.78 EUR
Availability: InStock
Author: Moshe Vardi
ISBN: 9783540201014

by Moshe Vardi, Andrei Voronkov

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

51.78 €

RRP: 56.07 €

You save 4.29 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

A legnagyszerűbb könyv a nárcizmusról
14.38 € -14 %
Buy
Poker Matisse
3.44 € -16 %
Buy
Weapons of the Metabaron
26.44 € -25 %
Buy
Plastic blok NEON zelený A6, linka, 60 listů
2.22 € -32 %
Buy
Trouble Never Sleeps
8.71 € -25 %
Pre-order
Mi Primer Libro de Poesia
10.12 € -10 %
Buy
Poník má problémy
4.85 € -37 %
Buy
No Machos or Pop Stars
20.36 € -24 %
Buy
Krysí královny Démoni
11.34 € -31 %
Buy
Adlerian Counseling and Psychotherapy
72.05 €
Buy
Design of Ship Hull Structures
181.50 € -9 %
Buy
Plant and Animal Endemism in California
87.55 € -11 %
Buy
La maladie de Parkinson
52.28 €
Buy
Bean There, Drunk That... the Definitive Guide to Coffee and the World of the Barista
19.95 €
Buy
Competencias para el desarrollo de las Habilidades de Pensamiento
43.87 € -14 %
Buy
Tüdelbüdel
8.50 € -15 %
Buy
Agata mène l'enquête, Tome 01
8.50 €
Buy
Cold War and Decolonisation
36.37 €
Buy
At the Earth's Core
12.86 € -19 %
Buy
Magic Realist Cinema in East Central Europe
136.71 €
Buy
Modeling Biomolecular Networks in Cells
103.16 € -7 %
Buy
Allah, Tabiat ve Tarih
14.18 € -4 %
Buy
Horizontale Europaisierung Im Feld Der Arbeitsbeziehungen
43.57 € -7 %
Buy
Binary Puzzle Books - 400 Easy to Master Puzzles 10x10 (Volume 4)
10.63 € -7 %
Buy
Die Konzeption überarbeiten und weiterentwickeln
16.71 €
Buy
Advances in Cryptology - EUROCRYPT 2018
101.13 € -7 %
Buy
Ernst Mach - Zu Leben, Werk Und Wirkung
72.45 € -7 %
Buy
Group 13 Chemistry I
206.13 € -7 %
Buy
Study in Realism
41.14 €
Buy
Cyber-Sicherheit
51.98 € -6 %
Buy
Barfussele
22.39 € -11 %
Buy
European Retail Research
51.78 € -7 %
Buy
Sprichwoerter bei den roemischen Komiker
29.48 € -11 %
Buy
Shakespeare's Troilus and Cressida and the Inns of Court Revels
216.46 €
Buy
Friedrich Tabellenbuch
49.35 €
Buy
Espanol sin fronteras 2 - CD k pracovnímu sešitu
55.12 €
Buy
Galileo, Michelangelo and Da Vinci
11.34 € -25 %
Buy
Silencer T04
11.95 €
Buy
Guide To The Study And Reading Of American History
46.41 € -1 %
Buy
The Gold Hunters Of California (1904)
24.11 €
Buy
Aprende a Escribir, caligrafía, 1 Educación Infantil
11.14 €
Buy
Bahrain
63.53 €
Buy
Resilient Writer
15.80 € -10 %
Pre-order
Radium Und Die Farben
53.70 € -9 %
Buy
Informationsmodellierung in XML und SGML
60.80 €
Buy
Ambassador Hotel - La mort d'un Kennedy, la naissance d'une rock star
24.11 €
Buy
Advances in Smart Grid and Renewable Energy
324.09 €
Buy
Albion's Story
16.21 € -18 %
Buy
Nigero-Kongolezskij prayazyk. Lichnye mestoimeniya
40.83 € -12 %
Buy
Maddie's Reading Log
7.89 € -24 %
Buy
Abrege de l'Histoire Generale Des Voyages. Tome 25
25.12 €
Buy
Istoriya predprinimatel'stva v Turkestane
46.81 € -14 %
Buy
Body and Soul; Or Life, Mind, and Matter, Considered as to Their Peculiar Nature, and Combined Condition in Living Things
31.91 € -2 %
Buy
Practical Treatise on the Culture of the Vine
28.37 € -1 %
Buy
THE FLOWING BOWL: WHEN AND WHAT TO DRINK
40.93 € -2 %
Buy
Ghost Ride
14.08 € -6 %
Buy
The Playful Politics of Memes
59.07 €
Buy
Everyday Life of the English Working Class
129.31 €
Buy
Ebony Enigma
15.90 € -2 %
Buy
The Holdout
9.92 € -25 %
Buy
Labor Matters
35.16 €
Buy
Pharmakovigilanz
61.91 € -4 %
Buy
Genomic Mosaicism in Neurons and Other Cell Types
126.17 €
Buy
Epitre Aux Manes de Dorvigni Ou l'Apologie Des Buveurs
13.06 € -1 %
Buy
Un jour, il t'arrivera du bonheur
19.55 €
Buy
Lalius Oder Von Der Freundschaft
9.01 € -10 %
Buy
Progress and Challenge of Porous Media: Proceedings of the 16th Annual Meeting Conference on Porous Media
248.79 €
Buy
Discoverie of Witches
13.98 € -24 %
Buy
Epochen der Musikgeschichte, Heft
33.94 € -4 %
Pre-order
Theories of Violent Conflict
63.13 €
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 125 loyalty points

Book synopsis

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.

Book details

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

51.78 €

Full title: Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
Author: Moshe Vardi, Andrei Voronkov
Language: English
Binding: Paperback
Number of pages: 436
EAN: 9783540201014
ISBN: 3540201017
ID: 01558600
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1400 g
Dimensions: 233 × 155 × 25 mm
Date of publishing: 12. September 2003