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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.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: 01560435
Price: 107.29 EUR
Availability: InStock
Author: Franz Baader
ISBN: 9783540252368

11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Franz Baader

Andrei Voronkov

Language

English

Book Paperback

Libristo code: 01560435

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2005

This book constitutes the refereed proceedings of the 11th International Conference on Logic for Pro... Full description

Libristo code: 01560435

263 b

107.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

MIKADO - 2022

Toy

15.29 €

Alberi Lemniscates

Hardback

16.29 €

QUINTET B FLAT MAJOR CLARINETTE-PARTITION+PARTIES SEPAREES DIETER SCHNEBEL Printed items

Sheet music

83.89 €

PORTRAITS LITTERAIRES De Quincey

Paperback

27.99 €

Nathan et les Territoires maudits Enza

Paperback

15.19 €

misura della felicità. Il '700 eclettico di Francesco Maria Zanotti Alberto Panighetti

Paperback

36.99 €

Medical Food, 1 Audio-CD, MP3 Anthony William

Audio CD

20.00 €

Entkrümmt Stefan Schlager

Paperback

15.89 €

Das Moment der Gefahr als Element der Schadenszurechnung im System des Haftpflichtrechts Thomas Tschaler

Paperback

75.49 €

Historia de la bicicleta de un hombre lagarto FINA CASALDERREY

Paperback

12.29 €

Une Drole De Saint-Valentin! Chloe Lapierre

Paperback

13.39 €

Les religieuses bouddhistes, depuis Sakya-Mouni jusqu'a nos jours Summer-M

Paperback

16.09 €

55 Spiele für den Kindergeburtstag Arno Backhaus

Paperback

8.00 €

Ansatze zur Erklarung des Unterganges von Organisationen Burak Gümüs

Paperback

17.95 €

This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, held in Montevideo, Uruguay in March 2005.§The 33 revised full papers presented together with abstracts of 4 invited papers were carefully reviewed and selected from 77 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, fuzzy logic, linear logic, multi-modal logic, proof theory, formal verification, protocol verification, constraint logic programming, programming calculi, theorem proving, etc.