Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Proceedings of IJCAI-89
| Editors: | Sridharan, N.S.
| Book#: | 1 55860 094 9
| Publisher: | Morgan Kaufman, San Mateo,Calif
| Volume: | MISSING
| Pages: | 413-418
| |
Paper in Conference Proceedings #411 | |
Title: | the Specialization and Transformation of Constructive Existence Proofs |
---|---|
Authors: | Madden,P |
Date: | 1989 |
Presented: | |
Keywords: | proof transformation, optimization, dependancy information, pruning |