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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------