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
TextUse in library QA76.9.D35 C37 1992Off-site

Details

Description
viii, 270 pages : illustrations; 26 cm
Series Statement
Cambridge tracts in theoretical computer science ; 32
Uniform Title
Cambridge tracts in theoretical computer science ; 32.
Subject
  • Data structures (Computer science)
  • Logic programming
  • Datastructuren
  • Logisch programmeren
  • Structures de données (informatique)
  • Programmation logique
Bibliography (note)
  • Includes bibliographical references (p. 245-258) and indexes.
ISBN
  • 0521419328
  • 9780521419321
LCCN
91039777
OCLC
  • ocm24667557
  • 24667557
  • SCSB-1968857
Owning Institutions
Princeton University Library