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

Harald Ganzinger, Andrei Voronkov, David McAllester

ISBN 10: 3540664920 ISBN 13: 9783540664925
Published by Springer 2008-06-13, 2008
Language: English
Condition: New Soft cover

Sold by Chiron Media, Wallingford, United Kingdom

AbeBooks Seller since 2 August 2010

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


New - Soft cover

Condition: New

Price:
£ 47.86
£ 15.49 shipping
Ships from United Kingdom to U.S.A.

Quantity: 10 available

Add to basket