search for books and compare prices
10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990. 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 9783540528852
 
from Springer Verlag (July 17, 1990)
9783540528852 | details & prices | 704 pages | List price $169.00