005.73 / C225L
Carpenter, Bob
LOGIC OF TYPED FEATURE STRUCTURES
/ WITH APPLICATIONS TO UNIFICATION, GRAMMARS, LOGIC PROGRAMS AND CONSTRAINT RESOLUTION
.- Cambridge: Cambridge Univ. Press, c1992
.- viii,270 .
.- ( Cambridge Tracts In Theoretical Computer Science No. 32
Includes Bibliographical References And Index
ISBN: 0521419328
Subject Headings:
Data Structures (Computer Science);
Logic Programming;
Copy Details:
Acc. No.: A116750, Full Call No.: 005.73 C225L, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------