Logical environments
By: edited by Gérard Huet, Gordon Plotkin.
Contributors: Huet, Gérard.; Plotkin, G. 1946-
Publisher: Cambridge University Press
Published: 1993
Place of publication: Cambridge; New York, NY, USA
Language: eng
Number of pages: 338
Subjects: Automatic theorem proving -- Congresses.; Artificial intelligence -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographical references.