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

著者

• Carpenter, Bob

書誌事項

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

注記

Bibliographical references: p. 245-258

Includes indexes

• NII書誌ID(NCID): BA18509839
• ISBN:
  • 0521419328
  • 9780521022545
• LCCN: 91039777
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge ; New York
• ページ数/冊数: viii, 270 p.
• 大きさ: 26 cm
• 分類:
  • LCC : QA76.9.D35
  • DC20 : 005.7/3
• 件名:
  • LCSH : Data structures (Computer science)
  • LCSH : Logic programming
• 親書誌ID:
  • BA01121831