Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings - Lecture Notes in Computer Science - D Mcallester - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540664925 - August 25, 1999
In case cover and title do not match, the title is correct

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings - Lecture Notes in Computer Science 1999 edition

D Mcallester

Price
HK$ 511
excl. VAT

Ordered from remote warehouse

Expected delivery Apr 30 - May 13

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings - Lecture Notes in Computer Science 1999 edition

This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi.

404 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 25, 1999
ISBN13 9783540664925
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 404
Dimensions 155 × 235 × 21 mm   ·   580 g
Editor Ganzinger, Harald
Editor McAllester, David
Editor Voronkov, Andrei

See all of D Mcallester ( e.g. Paperback Book )