| Shelfclass_id | 4.B.3 |
| Sortkey | RAATZ, STAN |
| Authors | Stan Raatz |
| Title | Graph-Based Proof Procedures for Horn Clauses |
| Publisher | Birkhäuser |
| Year | 1990 |
| Languages | eng |
| Isbn | 0817635300, 3764335300 |
| Series | Progress in computer science and applied logic |
| Volume | 10 |
| Description | (alk. paper) (alk. paper) 147 p. ill. 25 cm |
| Record date | 20060713 |
| Location | Boston |
| Keywords | Logic programming, Horn clauses, Graph theory |