Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Logic for Programming, Artificial Intelligence, and Reasoning

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

Language EnglishEnglish
Book Paperback
Book Logic for Programming, Artificial Intelligence, and Reasoning Franz Baader
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
? points 249 b
101.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

55 Spiele für den Kindergeburtstag Arno Backhaus / Book Paperback
common.buy 8.00 €
Top
Krizová intervence Daniela Vodáčková / Book Hardback
common.buy 25.39 €
Ein Meerschweinchen namens Timmi Jamina Diley / Book Paperback
common.buy 8.90 €
MIKADO - 2022 / Game/Toy Toy
common.buy 12.29 €
Ansatze zur Erklarung des Unterganges von Organisationen Burak Gümüs / Book Paperback
common.buy 17.96 €
Coming soon
Nathan et les Territoires maudits Enza / Book Paperback
common.buy 12.29 €
Todos los Cuentos de los Hermanos Grimm: Blancanieves, La Cenicienta, La Bella Durmiente, Caperucita Roja, Hansel y Gretel, Rapunzel, Pulgarcito (ilus Hermanos Grimm / E-book Adobe ePub DRM
common.buy 0.89 €
misura della felicità. Il '700 eclettico di Francesco Maria Zanotti Alberto Panighetti / Book Paperback
common.buy 35.10 €
UNE FANTASIE DU DOCTEUR OX Jules Verne / Book Paperback
common.buy 5.79 €
Alberi Lemniscates / Book Hardback
common.buy 13.89 €
QUINTET B FLAT MAJOR CLARINETTE-PARTITION+PARTIES SEPAREES DIETER SCHNEBEL Printed items Sheet music
common.buy 72.39 €
PORTRAITS LITTERAIRES De Quincey / Book Paperback
common.buy 23.49 €
Les religieuses bouddhistes, depuis Sakya-Mouni jusqu'a nos jours Summer-M / Book Paperback
common.buy 13.69 €
Medical Food, 1 Audio-CD, MP3 Anthony William / Audio Audio CD
common.buy 20.00 €
Entkrümmt Stefan Schlager / Book Paperback
common.buy 14.95 €
Das Moment der Gefahr als Element der Schadenszurechnung im System des Haftpflichtrechts Thomas Tschaler / Book Paperback
common.buy 72.98 €
Les Arcanes de La Plenitude - Siddhamaharahasya David DuBois (Traducteur) / Book Paperback
common.buy 11.89 €
Historia de la bicicleta de un hombre lagarto FINA CASALDERREY / Book Paperback
common.buy 10.49 €
Une Drole De Saint-Valentin! Chloe Lapierre / Book Paperback
common.buy 10.69 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Logic for Programming, Artificial Intelligence, and Reasoning
Author Franz Baader, Andrei Voronkov
Language English
Binding Book - Paperback
Date of issue 2005
Number of pages 560
EAN 9783540252368
ISBN 3540252363
Libristo code 01560435
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 973
Dimensions 155 x 235 x 36

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Intelligent Environments Dorothy Monekosso / Book Paperback
common.buy 101.79 €
Coming soon
Oneida Iroquois Anthony Wonderley / Book Hardback
common.buy 32.19 €
Race, Ethnicity, Gender and Other Social Characteristics as Factors in Health and Health Care Disparities Jennie Jacobs Kronenfeld / Book Hardback
common.buy 106.39 €
Robert Elsmere, Volume 2 Humphry Ward / Book Hardback
common.buy 36.90 €
Ten Lectures on Cognitive Linguistics and the Unification of Spoken and Signed Languages Sherman Wilcox / Book Hardback
common.buy 137.79 €
Footprints of the Apostles, as traced by Saint Luke in the Acts Herbert Mortimer Luckock / Book Paperback
common.buy 23.79 €
Organized Crime, Fear and Peacebuilding in Mexico Mauricio Meschoulam / Book Hardback
common.buy 57.99 €
Letters from a Stoic Seneca / Book Hardback
common.buy 36.69 €
Performance of Over-Head Transmission Line Insulators Under Polluted Condition Ahmed El-Tayeb Khalil / Book Paperback
common.buy 65.89 €
Grandpa Lee's Stories Helen Najera Reyes / Book Paperback
common.buy 16.40 €
Savage Legion Matt Wallace / Book Paperback
common.buy 13.30 €
Up and Running with ClickHouse Vijay Anand R / Book Paperback
common.buy 30.69 €
Radical Radiance: 12 Weeks of Self-Love Rituals to Manifest Abundance, Beauty, and Joy Kim / Book Hardback
common.buy 24.90 €
Fractional Differential Equations: Numerical Methods for Applications / Book Hardback
common.buy 129.84 €
Trump's Wars Usama Bajwa / Book Paperback
common.buy 11.19 €
Vampire Bats / Book Hardback
common.buy 26.60 €
Dielectric Materials for Electrical Engineering Juan Martinez-Vega / Book Hardback
common.buy 233.59 €
Early Romanticism and Religious Dissent Daniel E. White / Book Paperback
common.buy 49.09 €
Epistles of St. Paul to the Thessalonians, Galatians, Romans Prof Benjamin Jowett / Book Hardback
common.buy 36.90 €
Cosmic Explosions EDO Berger / Book Paperback
common.buy 27.99 €
Open University Daniel Weinbren / Book Hardback
common.buy 95.39 €
Central Asia in World History Peter B. Golden / Book Hardback
common.buy 183.89 €
Public Management and Modernisation in Britain Robert Pyper / Book Hardback
common.buy 196.29 €
From the Workshop of the Chicago Assyrian Dictionary M T Roth / Book Paperback
common.buy 48.59 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?