Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Automated Reasoning
| Editors: | MISSING
| Book#: | 01687433
| Publisher: | MISSING
| Volume: | 16/1(2)
| Pages: | 79-111
| |
Journal Paper #1060 | |
Title: | Productive Use of Failure in ......Proof |
---|---|
Authors: | Ireland,A; Bundy,A |
Date: | Mar 1996 |
Presented: | |
Keywords: |