-
RecordNumber
21870
-
Title
Logical frameworks
-
Author Statement
Edited by Gerard Huet [and] G. Plotkin
-
Publication
Cambridge U.P.
-
Publication Year
1991
-
Collation
xii, 403P., illus., tables
-
Notes
Includes bibliographies , ISBN: 0-521-41300-1
-
Subject
Automatic theorem proving , Logic , Frames (Information theory)
-
ADDED ENTRIES
Plotkin, Gordon , Huet, Gerard
-
LC Class
Q
-
LC Number
390
-
LC CutterNumber
.L64
-
Link To Document :
