Research Catalog

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

Title
The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution / Bob Carpenter.
Author
Carpenter, Bob
Publication
Cambridge ; New York : Cambridge University Press, 1992.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Book/TextRequest in advance JSF 93-790Offsite

Details

Description
viii, 270 p. : ill.; 26 cm.
Series Statement
Cambridge tracts in theoretical computer science ; 32
Subject
  • Data structures (Computer science)
  • Logic programming
Bibliography (note)
  • Includes bibliographical references (p. 245-258) and indexes.
Call Number
JSF 93-790
ISBN
0521419328
LCCN
91039777
OCLC
  • 24667557
  • NYPG93-B71808
Author
Carpenter, Bob.
Title
The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution / Bob Carpenter.
Imprint
Cambridge ; New York : Cambridge University Press, 1992.
Series
Cambridge tracts in theoretical computer science ; 32
Bibliography
Includes bibliographical references (p. 245-258) and indexes.
Research Call Number
JSF 93-790
View in Legacy Catalog