Hidden Congruent Deduction.

Grigore Rosu Joseph A. Goguen

Published in: FTP (LNCS Selection) (1998)

Keyphrases

inference rules
theorem proving
data sets
databases
automated deduction
high level
theorem prover
automated theorem proving
hidden information
computer algebra
database
special case
digital libraries
learning environment
case study
website
feature selection