Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /

Bibliographic Details
Other Authors:	Lloyd, J. W. (John Wylie), 1947-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1990]
Series:	ESPRIT basic research series.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage