| Shelfclass_id | 4.B.3 |
| Sortkey | EISINGER, NORBERT |
| Authors | Norbert Eisinger |
| Title | Completeness, Confluence, and Related Properties of Clause Graph Resolution |
| Publisher | Morgan Kaufmann |
| Year | 1991 |
| Languages | eng |
| Isbn | 1558601953 |
| Series | Research notes in artificial intelligence |
| Description | 181 p. ill. 25 cm. |
| Record date | 20061207 |
| Location | San Mateo, Calif. |
| Keywords | Artificial intelligence, Graph theory |