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: |