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


Documents Authored by: Erica Melis

Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work.

Paper in Conference Proceedings

PP876 1995 Paper in Conference Proceedings Melis,E
Theorem Proving by Analogy -- a Compelling Example
PP877 1995 Paper in Conference Proceedings Melis,E
A Model of Analogy Driven Proof-Plan Construction

Research Paper

RP888 1998 Research Paper Melis,E; Bundy,A
Planning and Proof Planning
RP803 1996 Research Paper Melis,E; Whittle,JN
Internal Analogy in Theorem Proving
RP840 1996 Research Paper Melis,E; Whittle,JN
Analogy as a Control Strategy in Theorem Proving
RP841 1996 Research Paper Melis,E; Whittle,JN
Analogy in Inductive Theorem Proving
RP735 1995 Research Paper Melis,E
Analogy-Driven Proof-Plan Construction
RP766 1995 Research Paper Melis,E
Analogy in Clam


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