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) - Bøker - Cambridge University Press - 9780521022545 - 10. november 2005
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 679

Bestillingsvarer

Forventes levert 9. - 20. jan 2026
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 10. november 2005
ISBN13 9780521022545
Utgivere Cambridge University Press
Antall sider 280
Mål 170 × 245 × 15 mm   ·   453 g
Språk Engelsk  
Serieredaktør Abramsky, S.
Serieredaktør Aczel, P. H.
Serieredaktør Bakker, J. W. De
Serieredaktør Gurevich, Y.
Serieredaktør Tucker, J. V.
Serieredaktør Van Rijsbergen, C. J.

Se alt med Carpenter, Robert L. (Carnegie Mellon University, Pennsylvania) ( f.eks. Pocketbok )