Clausal form logic : an introduction to the logic of computer reasoning / Tom Richards
| Main Author: | Richards, Tom |
|---|---|
| Format: | MONOGRAPHS |
| Language: | English |
| Published: |
Sydney : Addison-Wesley, 1989 |
| Series: |
International computer science series
|
| Subjects: |
Artificial intelligence.
Expert systems (Computer science) Logic, Symbolic and mathematical. Reasoning. |
| Tags: |
Add
No Tags, Be the first to tag this record!
|
| Item Description: |
Includes index. |
|---|---|
| Physical Description: |
xiii, 359 p. : 23 cm. |
| ISBN: |
0201129205 |