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

Bibliographic Details

Corporate Authors:	SpringerLink (Online service), International Conference on Automated Deduction
Other Authors:	Lusk, Ewing, Overbeek, Ross A. (Ross Alan)
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin [etc.] : Springer, cop. 1988.
Series:	Lecture notes in computer science ; 310.
Subjects:	Automatic theorem proving. Logic, Symbolic and mathematical. Deductie. Redeneren. Computersystemen. Electronic books. Congressen (vorm)
Online Access:	Connect to the full text of this electronic book