The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


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:








[Search These Pages] [DAI Home Page] [Comment]