Computational logic
Subtitle: essays in honor of Alan Robinson
By: edited by Jean-Louis Lassez and Gordon Plotkin.
Contributors: Robinson, J. A.; Lassez, Jean-Louis.; Plotkin, G. 1946-
Publisher: MIT Press; The MIT Press
Published: 1991
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 727
Subjects: Robinson, J. A.; Automatic theorem proving.; Logic programming.
Notes: Includes bibliographical references.