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

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

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

Our customers say:

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

Not rated yet

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
Language German  
Editor Ganzinger, Harald
Editor McAllester, David
Editor Voronkov, Andrei

Mere med samme udgiver

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