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

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)

Hinta
元 525,80

Tilattu etävarastosta

Arvioitu toimitus ma - ke 15. - 24. syys

Asiakkaamme sanovat:

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

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution - Cambridge Tracts in Theoretical Computer Science

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 English  
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 )