9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).

Bibliographic Details
Uniform Title:Lecture notes in computer science ; 310.
Corporate Author: International Conference on Automated Deduction Argonne, Ill.
Other Authors: Lusk, Ewing
Overbeek, Ross A.
Language:English
Published: Berlin ; New York : Springer-Verlag, [1988], ©1988.
Series:Lecture notes in computer science ; 310.
Subjects:
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.
Genre:
Congresses.
Physical Description:x, 775 pages : illustrations ; 25 cm.
Format: Conference Proceeding Book

Similar Items