Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 01563961
Price: 40911 HUF
Availability: InStock
Author: Robert Nieuwenhuis
ISBN: 9783540429579

8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Robert Nieuwenhuis

Andrei Voronkov

Language

English

Book Paperback

Libristo code: 01563961

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2001

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

Libristo code: 01563961

271 b

40 911 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Asmara, tempo d'amore Mauro Moruzzi

Paperback

7 370 Ft

Puzzle 1000 elementów. Wschód słońca na Sakrisoy. Lofoty. Norwegia Game/Toy

Jigsaw puzzle

2 778 Ft

Tieronisch Eulen (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo

Calendar

11 344 Ft

albero velenoso della fede Barbara Kingsolver

Paperback

6 422 Ft

Usinage par décharge électrique des composites à matrice métallique en aluminium Jatinder Kumar

Paperback

23 478 Ft

Die Küstencrew (Band 1) - Das Gold der Walfänger Nathalie Kranich

Hardback

5 407 Ft

voelkerstrafrechtliche Verantwortlichkeit nichtstaatlicher Akteure, insbesondere der Angehoerigen von Private Military Companies (PMCs) Lennart Schmitt

Paperback

10 015 Ft

Repertorium fur Kunstwissenschaft. Band 29 FRANZ SCHESTAG

Hardback

74 709 Ft

Bildung im Alter - Theoretische Grundlagen und eine empirische Untersuchung einer Wohnanlage fur altersgerechtes Wohnen Daniel Werner

Paperback

15 336 Ft

Katakomben. Auf Sand Albert Ostermaier

Paperback

4 683 Ft

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, held in Havana, Cuba, in December 2001.The 40 revised full papers presented together with an invited paper were carefully reviewed and selected from 112 submissions. The book offers topical sections on verification, guarded logic, agents, automated theorem proving, non-classical logics, types, experimental aspects, foundations of logic, CSP and SAT, nonmonotonic reasoning, semantics, termination, knowledge-based systems, analysis of logic programs, databases and knowledge bases, and program analysis and proof planning.