Logical environments /

Bibliographic Details
Other Authors:	Huet, Gérard, Plotkin, G. (Gordon), 1946-
Format:	Book
Language:	English
Published:	Cambridge ; New York, NY : Cambridge University Press, 1993.
Subjects:	Frames (Information theory) > Congresses. Logic > Congresses. Automatic theorem proving > Congresses.

Remote Storage