Pastāsti draugiem par šo preci:
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)
Cena
€ 69,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 30. okt. - . gada 13. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Carpenter, Robert L. (Carnegie Mellon University, Pennsylvania) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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)
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.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2005. gada 10. novembris |
| ISBN13 | 9780521022545 |
| Izdevēji | Cambridge University Press |
| Lapas | 280 |
| Izmēri | 171 × 244 × 18 mm · 492 g |
| Valoda | Angļu |
| Sērijas redaktors | Abramsky, S. |
| Sērijas redaktors | Aczel, P. H. |
| Sērijas redaktors | Bakker, J. W. De |
| Sērijas redaktors | Gurevich, Y. |
| Sērijas redaktors | Tucker, J. V. |
| Sērijas redaktors | Van Rijsbergen, C. J. |
