7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984：proceedings

Corporate Authors: International Conference on Automated Deduction (7th 1984 Napa, Calif
Group Author: Shostak Robert 1931-
Published: Springer-Verlag,
Publication Dates: 1984.
Call Number: O231-532/A939/1984