Warenkorb
€ 0,00 0 Buch dabei,
portofrei
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution als Buch
PORTO-
FREI

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint…

Revised. Sprache: Englisch.
Buch (kartoniert)
Ihr 10% Rabatt bei Hugendubel.de
 
10% Rabatt sichern mit Gutscheincode: XMAS10
 
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.
Buch

51,99 *

inkl. MwSt.
Portofrei
Lieferbar innerhalb von zwei Wochen
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution als Buch

Produktdetails

Titel: The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Autor/en: Bob Carpenter

ISBN: 0521022541
EAN: 9780521022545
Revised.
Sprache: Englisch.
Herausgegeben von C. J. Van Rijsbergen, Samson Abramsky
CAMBRIDGE UNIV PR

September 2005 - kartoniert - 280 Seiten

Beschreibung

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.

Inhaltsverzeichnis

Acknowledgements; Part I. Basics: 1. Introduction; 2. Types and inheritance; 3. Feature structures; 4. Attribute-value descriptions and satisfaction; Part II. Extensions: 5. Acyclic feature structures; 6. Appropriateness and typing; 7. Inequations; 8. Identity and extensionality; 9. Maximality, groundedness and closed world inference; Part III. Alternatives: 10. Variables and assignments; 11. Feature algebras; 12. Infinite feature structures and domains; Part IV. Applications: 13. Unification-based phrase structure grammars; 14. Definite clause programming; 15. Recursive type constraint systems; Bibliography.

Pressestimmen

"...well and clearly written...can be used as a textbook as well as a monograph." Peter Bachmann, Mathematical Reviews "...an indispensable compendium for the researcher or graduate student working on constraint-based grammatical formalisms, and they also make it a very useful reference work for researchers in object-oriented databases and logic programming." Fernando Pereira, Computational Linguistics

Mehr aus dieser Reihe

zurück
The Hungarian Model: Markets and Planning in a Socialist Economy
Buch (gebunden)
von Xavier Richet, R…
Temporal Logics in Computer Science: Finite-State Systems
Buch (gebunden)
von Stephane Demri, …
Nominal Sets: Names and Symmetry in Computer Science
Buch (gebunden)
von Andrew M. Pitts
Rippling: Meta-Level Guidance for Mathematical Reasoning
Buch (gebunden)
von Alan Bundy, Davi…
Communications and Power: Propaganda and the Press in the Indian National Struggle, 1920 1947
Buch (gebunden)
von Milton Israel
vor
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
Artikel mit dem Hinweis "Pünktlich zum Fest" werden an Lieferadressen innerhalb Deutschlands rechtzeitig zum 24.12.2018 geliefert.
** Deutschsprachige eBooks und Bücher dürfen aufgrund der in Deutschland geltenden Buchpreisbindung und/oder Vorgaben von Verlagen nicht rabattiert werden. Soweit von uns deutschsprachige eBooks und Bücher günstiger angezeigt werden, wurde bei diesen kürzlich von den Verlagen der Preis gesenkt oder die Buchpreisbindung wurde für diese Titel inzwischen aufgehoben. Angaben zu Preisnachlässen beziehen sich auf den dargestellten Vergleichspreis.