Code: 01555913

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: 01555913
Price: 50.61 EUR
Availability: InStock
Author: Matthias Baaz
ISBN: 9783540000105

by Matthias Baaz, Andrei Voronkov

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

50.61 €

RRP: 56.01 €

You save 5.40 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

National Geographic Traveler Japan 7th Edition
24.39 € -24 %
Pre-order
New Spring: Prequel to the Wheel of Time
7.89 € -25 %
Buy
Life Less Throwaway
15.28 € -20 %
Buy
Knooking – pletení na háčku. Základní postupy krok za krokem
9.10 € -26 %
Buy
Building Structures Illustrated - Patterns, Systems, and Design, Second Edition
50.81 € -7 %
Buy
Nursing Care and ECMO
38.46 € -9 %
Buy
Leto tvojej nehy
2.93 € -38 %
Buy
1787
23.78 € -17 %
Buy
Security Information and Event Management (SIEM) Implementation
68.23 € -17 %
Buy
CONTRE-NOIR
25.30 €
Buy
Gorlin's Syndromes of the Head and Neck
414.57 €
Buy
Write Now
12.75 € -24 %
Buy
Cultural Intelligence
167.65 €
Buy
Army of Shadows
16.19 € -25 %
Buy
Seed-borne plant virus diseases
154.48 € -7 %
Buy
Gold & Rainbows-The Warner Bros Years 1969-1978
63.27 €
Buy
Tomb Raiders and Space Invaders
198.62 €
Buy
Through Deserts And Oases Of Central Asia
43.62 € -1 %
Buy
Promenades A Chamouni
13.86 € -2 %
Buy
How and Why People Change
85.34 €
Buy
Chemistry: Theory and Practice
122.49 € -12 %
Buy
Frankia in Heavy Metals and Aromatic Compounds Bio-remediation
49.90 € -14 %
Buy
Acoustic Interculturalism
55.88 €
Buy
Karma
12.24 €
Buy
Die Silbermeer-Saga (Band 2) - Die Fließende Karte
19.73 € -11 %
Buy
Neuroscience, Consciousness and Spirituality
198.62 €
Buy
Dr. de Weert's Daughter
21.96 € -7 %
Buy
Super Anti-Oxidants
12.34 € -18 %
Buy
Etudes de la Nature. Tome 3
31.68 €
Buy
Mezi vilami
10.32 € -16 %
Buy
Music of the Moravian Church in America
33.50 € -12 %
Buy
Skills-Based Health Education
150.03 € -5 %
Pre-order
Non Coding RNAs in Plants
205.91 € -7 %
Buy
Bachiben Ane Babubhai Amricama: Gujarati Hasya Navalakathaa
10.62 € -7 %
Buy
Broken Boundaries
32.69 €
Buy
Oxford Studies in Ancient Philosophy XXXI
139.20 €
Buy
Spain in International Context, 1936-1959
141.73 €
Buy
Ordnance Survey Memoirs of Ireland: Vol. 11: Parishes of Co. Londonderry III: 1831-5
15.78 € -9 %
Buy
LES COQUILLAGES ET CE QU'ILS CACHENT
17.10 €
Buy
Handbook of Concentrator Photovoltaic Technology
145.88 € -3 %
Buy
Legacies of Great Men in World Soccer
139.70 €
Buy
Family Tree
32.79 € -2 %
Buy
Learn Java for Android Development: Java 8 and Android 5 Edition
28.44 €
Buy
Speaking of Horror
14.87 € -2 %
Buy
Expanding World Ayahuasca Diaspora
64.48 €
Buy
Egal was sich auch ändert, das Herz bleibt genau dasselbe
14.47 € -10 %
Buy
Hymns for Brass: Conductor
12.75 € -25 %
Buy
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE
65.09 €
Buy
Ice
15.38 € -7 %
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 122 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

50.61 €

Full title: Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Author: Matthias Baaz, Andrei Voronkov
Language: English
Binding: Paperback
Number of pages: 470
EAN: 9783540000105
ISBN: 3540000100
ID: 01555913
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1490 g
Dimensions: 235 × 155 × 27 mm
Date of publishing: 02. October 2002