search for books and compare prices
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980
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.
Paperback
With W. Bibel |
from Springer Verlag (June 1, 1980)
9783540100096 | details & prices | 392 pages | List price $109.00