Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: ISCAI95
| Editors: | Mellish, C
| Book#: | 1 55860 363 8
| Publisher: | Morgan Kaufmann, USA
| Volume: | 1
| Pages: | 182-189
| |
Paper in Conference Proceedings #877 | |
Title: | A Model of Analogy Driven Proof-Plan Construction |
---|---|
Authors: | Melis,E |
Date: | 1995 |
Presented: | |
Keywords: |