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


Publication Details:
Book: EPIA95
Editors:Pinto-Ferreira, C.; Mamede, N.J.
Book#: 3 540 604 286
Publisher:Springer-Verlag, Berlin/London
Volume:990
Pages: 261-272

Paper in Conference Proceedings #876

Title:Theorem Proving by Analogy -- a Compelling Example
Authors:Melis,E
Date: 1995
Presented:
Keywords:








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