Cover Image

Computational logic : essays in honor of Alan Robinson /

Bibliographic Details
Other Authors: Robinson, J. A. (John Alan), Lassez, Jean-Louis, Plotkin, G. (Gordon), 1946-
Format: Book
Language:English
Published: Cambridge, Mass. : MIT Press, [1991]
Subjects:
Automatic theorem proving.
Logic programming.
Robinson, J. A. > (John Alan)
Description
Physical Description:viii, 727 pages : illustrations ; 26 cm.
Bibliography:Includes bibliographical references.
ISBN:0262121565