search for books and compare prices
Logic for Programming and Automated Reasoning: 7th Conference Lpar 2000 Reunion Island, France, November 6-10, 2000, Proceedings
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
Paperback
Book cover for 9783540412854
 
from Springer Verlag (November 1, 2000)
9783540412854 | details & prices | 486 pages | 6.25 × 9.50 × 1.00 in. | 1.65 lbs | List price $129.00