Computational logic
Subtitle: symposium proceedings, Brussels, November 13/14, 1990
By: J.W. Lloyd (ed.).
Contributors: Lloyd, J. W. 1947-
Series: ESPRIT basic research series; EUR ;; 13147 EN; EUR (Series) ;; 13147 EN.
Publisher: Springer-Verlag
Published: 1990
Place of publication: Berlin; New York
Language: eng
Number of pages: 211
Subjects: Automatic theorem proving -- Congresses.; Logic, Symbolic and  Mathematical -- Congresses.
Notes: Includes bibliographical references.