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

Bibliographic Details
Corporate Authors:	International Conference on Automated Deduction Napa, Calif., SpringerLink (Online service)
Other Authors:	Shostak, Robert, 1931-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1984.
Series:	Lecture notes in computer science ; 170.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses. Automatic theorem proving. Logic, Symbolic and mathematical. Mathematical Logic and Foundations. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Available Online