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øger - Cambridge University Press - 9780521022545 - 10. november 2005
Ved uoverensstemmelse mellem cover og titel gælder titel

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
DKK 530

Bestilles fra fjernlager

Forventes klar til forsendelse 8. - 15. jan. 2026
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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.

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 10. november 2005
ISBN13 9780521022545
Forlag Cambridge University Press
Antal sider 280
Mål 170 × 245 × 15 mm   ·   453 g
Sprog 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. Paperback Bog )