The OYSTER-CLAM system

• 1 January 1990
• book chapter
• Published by Springer Nature
• p. 647-648
• https://doi.org/10.1007/3-540-52885-7_123

Abstract

Keywords

• AUTOMATIC THEOREM PROVE
• OUTPUT FORMULA
• SYNTACTIC PROPERTY
• EXTRACT TERM
• ABSTRACT DATA TYPE