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)

Remote Storage