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!
|
