Alta reperibilità
The Logic of Typed Feature Structures
With Applications To Unification Grammars, Logic Programs And Constraint Resolution
- Editore:
Cambridge University Press
- EAN:
9780521022545
- ISBN:
0521022541
- Pagine:
- 280
- Formato:
- Paperback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione The Logic of Typed Feature Structures
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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti