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 (328 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.
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
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.
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
On Types and Type Consistency in Logic Programming
Language: en
Pages: 194
Authors: Gregor Meyer
Categories: Logic programming
Type: BOOK - Published: 2000 - Publisher: IOS Press

DOWNLOAD EBOOK