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 |