| Shelfclass_id | 4.B.5 |
| Sortkey | RICHARDS, TOM |
| Authors | Tom Richards |
| Title | Clausal Form Logic: An Introduction to the Logic of Computer Reasoning |
| Publisher | Addison-Wesley |
| Year | c1989 |
| Languages | eng |
| Isbn | 0201129205 |
| Series | International computer science series |
| Description | xiii, 359 p. ill. 24 cm |
| Record date | 20060713 |
| Location | Reading, Mass. |
| Keywords | Expert systems (Computer science), Artificial intelligence, Logic, Symbolic and mathematical, Reasoning |