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) - Kirjat - Cambridge University Press - 9780521022545 - torstai 10. marraskuuta 2005
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 62,49

Tilattu etävarastosta

Arvioitu toimitus pe - ti 9. - 20. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 10. marraskuuta 2005
ISBN13 9780521022545
Tuottaja Cambridge University Press
Sivujen määrä 280
Mitta 170 × 245 × 15 mm   ·   453 g
Kieli Englanti  
Sarjaohjaaja Abramsky, S.
Sarjaohjaaja Aczel, P. H.
Sarjaohjaaja Bakker, J. W. De
Sarjaohjaaja Gurevich, Y.
Sarjaohjaaja Tucker, J. V.
Sarjaohjaaja Van Rijsbergen, C. J.

Katso kaikki joka sisältää Carpenter, Robert L. (Carnegie Mellon University, Pennsylvania) ( Esim. Paperback Book )