Cover Image

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.
Description
Physical Description:211 pages : illustrations
Bibliography:Includes bibliographical references.
ISBN:3540534377 (Berlin)
0387534377 (New York)