Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: International Conference on Logic Programming and Automated Reasoning 1993
| Editors: | Voronkov, A.
| Book#: | 3=-540-56944-8
| Publisher: | Springer-Verlag
| Volume: | 698
| Pages: | 194-204
| |
Paper in Conference Proceedings #610 | |
Title: | Increasing the Versatility of Heuristic Based Theorem Provers |
---|---|
Authors: | Manning,H; Ireland,A; Bundy,A |
Date: | 1993 |
Presented: | |
Keywords: |