Image from Syndetics
Clausal form logic : an introduction to the logic of computer reasoning / Tom Richards.
By: Richards, Tom
.
Material type: 
BookSeries: International computer science series.Publisher: Sydney ; Reading, Mass. : Addison-Wesley Pub. Co., c1989Description: xiii, 359 p. : ill. ; 24 cm.ISBN: 0201129205.Subject(s): Expert systems (Computer science) | Artificial intelligence | Logic, Symbolic and mathematical | ReasoningDDC classification: 005.131
| Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
| General lending | MTU Bishopstown Library Store | 005.131 (Browse shelf(Opens below)) | 1 | Available | 00020964 |
Total holds: 0
Enhanced descriptions from Syndetics:
Clausal form logic is an important type of formal logic. Having evolved out of human reasoning, it represents the ideas to which all computer-based systems must approximate. Most present day computational logic systems are based on it, including the well-known artificial intelligence language PROLOG
Includes bibliographical references and index.