9th International Conference on Automated Deduction：Argonne, Illinois, USA, May 23-26, 1988 : proceedings

Corporate Authors: International Conference on Automated Deduction (9th 1988 Argonne, Ill
Group Author: Overbeek Ross A; Lusk Ewing
Published: Springer-Verlag,
Publication Dates: c1988.
Call Number: TP11-53/C748/