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) - Książki - Cambridge University Press - 9780521022545 - 10 listopada 2005
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 249,90

Zamówione z odległego magazynu

Przewidywana dostawa 12 - 21 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 10 listopada 2005
ISBN13 9780521022545
Wydawcy Cambridge University Press
Strony 280
Wymiary 170 × 245 × 15 mm   ·   453 g
Język Angielski  
Redaktor serii Abramsky, S.
Redaktor serii Aczel, P. H.
Redaktor serii Bakker, J. W. De
Redaktor serii Gurevich, Y.
Redaktor serii Tucker, J. V.
Redaktor serii Van Rijsbergen, C. J.

Zobacz wszystko od Carpenter, Robert L. (Carnegie Mellon University, Pennsylvania) ( np. Paperback Book )