7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984
Subtitle: proceedings
By: edited by R.E. Shostak.
Contributors: Shostak, Robert, 1931-
Series: Lecture notes in computer science ;; 170
Publisher: Springer-Verlag
Published: 1984
Place of publication: Berlin; New York
Language: eng
Number of pages: 508
Subjects: Automatic theorem proving -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Other titles: Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984.
Notes: Includes bibliographies.