KEIM: A Toolkit for Automated Deduction.

Xiaorong Huang Manfred Kerber Michael Kohlhase Erica Melis Dan Nesmith Jörn Richts Jörg H. Siekmann

Published in: CADE (1994)

Keyphrases

automated deduction
theorem proving
theorem prover
logic programming
inference rules
deductive databases
databases
feature selection
cooperative
preprocessing
feature space
management system