search for books and compare prices
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. 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.
Paperback
from Springer Verlag (July 1, 1986)
9783540167808 | details & prices | List price $109.00