Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Logic Programming in Action
| Editors: | Comyn, A.; Fuchs, N.E.; Ratcliffe, M.J.
| Book#: | 3-540-55930-2
| Publisher: | Springer-Verlag, Germany
| Volume: | MISSING
| Pages: | 252-277
| |
Chapter in Edited Book #234 | |
Title: | Tutorial Notes: Reasoning about Logic Programs |
---|---|
Authors: | Bundy,A |
Date: | 1992 |
Presented: | |
Keywords: | logic programs, automated deduction |