Otter - The CADE-13 Competition Incarnations

• 1 January 1997
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 18  (2) , 211-220
• https://doi.org/10.1023/a:1005843632307

Abstract

Keywords

• LOGIC
• CADE
• HISTORICAL
• COMPETITION
• MATHEMATICS
• AUTOMATED
• SUMMARY
• THEOREM
• OTTER
• INCARNATIONS