KEIM: A toolkit for automated deduction

• 1 January 1994
• book chapter
• Published by Springer Nature
• p. 807-810
• https://doi.org/10.1007/3-540-58156-1_65

Abstract

Keywords

• THEOREM PROVER
• REASONING SYSTEM
• LOGICAL LANGUAGE
• HIGH ORDER LOGIC
• AUTOMATE DEDUCTION