The Logic of Typed Feature Structures

The Logic of Typed Feature Structures
Author :
Publisher : Cambridge University Press
Total Pages : 282
Release :
ISBN-10 : 9780521419321
ISBN-13 : 0521419328
Rating : 4/5 (21 Downloads)

Book Synopsis The Logic of Typed Feature Structures by : Bob Carpenter

Download or read book The Logic of Typed Feature Structures written by Bob Carpenter and published by Cambridge University Press. This book was released on 1992-06-26 with total page 282 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems.


The Logic of Typed Feature Structures Related Books

The Logic of Typed Feature Structures
Language: en
Pages: 282
Authors: Bob Carpenter
Categories: Computers
Type: BOOK - Published: 1992-06-26 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems.
Implementing Typed Feature Structure Grammars
Language: en
Pages: 233
Authors: Ann Copestake
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2002 - Publisher: Stanford Univ Center for the Study

DOWNLOAD EBOOK

The book covers the basics of grammar development.
Handbook of Logic and Language
Language: en
Pages: 1274
Authors: J. van Benthem
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: Elsevier

DOWNLOAD EBOOK

This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory a
Logic Programming
Language: en
Pages: 654
Authors: Danny De Schreye
Categories: Computers
Type: BOOK - Published: 1999-11-08 - Publisher: MIT Press

DOWNLOAD EBOOK

Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and paralleli
Constraint Solving and Language Processing
Language: en
Pages: 213
Authors: Henning Christiansen
Categories: Computers
Type: BOOK - Published: 2005-05-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint