Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Artificial Intelligence
| Editors: | MISSING
| Book#: | 0004-3702
| Publisher: | MISSING
| Volume: | 62/2
| Pages: | 185-253
| |
Journal Paper #335 | |
Title: | Rippling: a Heuristic for Guiding Inductive Proofs |
---|---|
Authors: | Bundy,A; Stevens,A; van Harmelen,F; Ireland,A; Smaill,AD |
Date: | Aug 1993 |
Presented: | |
Keywords: |