The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution

Author(s)

• Carpenter, Bob

Bibliographic Information

The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution

Bob Carpenter

（Cambridge tracts in theoretical computer science, 32）

Cambridge University Press, c1992

• [hbk]
• pbk

Note

Bibliographical references: p. 245-258

Includes indexes

• NCID: BA18509839
• ISBN:
  • 0521419328
  • 9780521022545
• LCCN: 91039777
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge ; New York
• Pages/Volumes: viii, 270 p.
• Size: 26 cm
• Classification:
  • LCC : QA76.9.D35
  • DC20 : 005.7/3
• Subject Headings:
  • LCSH : Data structures (Computer science)
  • LCSH : Logic programming
• Parent Bibliography ID:
  • BA01121831