The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science, Series Number 32) - Hardcover
Book 11 of 40: Cambridge Tracts in Theoretical Computer Science
Synopsis
This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems.
"synopsis" may belong to another edition of this title.
Review
"...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
Book Description
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.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for The Logic of Typed Feature Structures: With Applications...
Stock Image
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press, Cambridge, 1992
ISBN 10: 0521419328
ISBN 13: 9780521419321
Used
Hardcover
Seller: Feldman's Books, Menlo Park, CA, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: Fine. First Editiion. Seller Inventory # 00041059
Seller Image
The Logic of Typed Feature Structures With Applications to Unification Grammars, Logic Programs and Constraint Resolution Cambridge Tracts in Theoretical Computer Science
Published by
Cambridge University Press, 1992
ISBN 10: 0521419328
ISBN 13: 9780521419321
Used
Hardcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: Gut. 270 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 760. Seller Inventory # 2156331
Stock Image
Cambridge Tracts in Theoretical Computer Science: The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Volume 32)
Published by
Cambridge University Press, 1992
ISBN 10: 0521419328
ISBN 13: 9780521419321
Used
Hardcover
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Volume 32. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9780521419321. Seller Inventory # 4919777
Buy Used
£ 54.85
£ 13.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Published by
Cambridge University Press, 1992
ISBN 10: 0521419328
ISBN 13: 9780521419321
Used
Hardcover
Seller: Antiquariat Bernhardt, Kassel, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. VIII, 270 Seiten, Cambridge Tracts in Theoretical Computer Science, Band 32. Zust: Gutes Exemplar. Buchecke leicht bestoßen. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 732 gebundene Ausgabe gebundene Ausgabe. Seller Inventory # 492635
Stock Image
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science, Series Number 32)
Published by
Cambridge University Press, 1992
ISBN 10: 0521419328
ISBN 13: 9780521419321
Used
Hardcover
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA82905214193284
Buy Used
£ 300
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available