Research Catalog

Logical environments

Title
Logical environments / edited by Gérard Huet, Gordon Plotkin.
Publication
Cambridge ; New York, NY, USA : Cambridge University Press, 1993.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance JSE 94-1205Offsite

Details

Additional Authors
  • Huet, Gérard.
  • Plotkin, G. (Gordon), 1946-
Description
xiii, 338 p. : ill.; 24 cm.
Subject
  • Automatic theorem proving > Congresses
  • Artificial intelligence > Congresses
  • Logic, Symbolic and mathematical > Congresses
Bibliography (note)
  • Includes bibliographical references.
Call Number
JSE 94-1205
ISBN
0521433126
LCCN
94135697
OCLC
  • 30401248
  • NYPG94-B5165
Title
Logical environments / edited by Gérard Huet, Gordon Plotkin.
Imprint
Cambridge ; New York, NY, USA : Cambridge University Press, 1993.
Bibliography
Includes bibliographical references.
Added Author
Huet, Gérard.
Plotkin, G. (Gordon), 1946-
Research Call Number
JSE 94-1205
View in Legacy Catalog