Tell your friends about this item:
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution - Cambridge Tracts in Theoretical Computer Science Carpenter, Robert L. (Carnegie Mellon University, Pennsylvania)
Price
S$ 86
excl. VAT
Ordered from remote warehouse
Expected delivery Jan 14 - 27, 2026
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution - Cambridge Tracts in Theoretical Computer Science
Carpenter, Robert L. (Carnegie Mellon University, Pennsylvania)
This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. The resulting synthesis serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems.
280 pages, 28 b/w illus.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | November 10, 2005 |
| ISBN13 | 9780521022545 |
| Publishers | Cambridge University Press |
| Pages | 280 |
| Dimensions | 170 × 245 × 15 mm · 453 g |
| Language | English |
| Series Editor | Abramsky, S. |
| Series Editor | Aczel, P. H. |
| Series Editor | Bakker, J. W. De |
| Series Editor | Gurevich, Y. |
| Series Editor | Tucker, J. V. |
| Series Editor | Van Rijsbergen, C. J. |