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) - Livres - Cambridge University Press - 9780521022545 - 10 novembre 2005
Si la couverture et le titre ne correspondent pas, le titre est correct.

Carpenter, Robert L. (Carnegie Mellon University, Pennsylvania)
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution - Cambridge Tracts in Theoretical Computer Science

Prix
€ 59,99

Commandé depuis un entrepôt distant

Livraison prévue 12 - 21 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

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.

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 10 novembre 2005
ISBN13 9780521022545
Éditeurs Cambridge University Press
Pages 280
Dimensions 170 × 245 × 15 mm   ·   453 g
Langue et grammaire Anglais  
Éditeur de séries Abramsky, S.
Éditeur de séries Aczel, P. H.
Éditeur de séries Bakker, J. W. De
Éditeur de séries Gurevich, Y.
Éditeur de séries Tucker, J. V.
Éditeur de séries Van Rijsbergen, C. J.

Voir tous les Carpenter, Robert L. (Carnegie Mellon University, Pennsylvania) ( par ex. Paperback Book )