Integrating a First-Order Automatic Prover in the HOL Environment.

Ramayya Kumar Thomas Kropf Klaus Schneider

Published in: TPHOLs (1991)

Keyphrases

theorem prover
theorem proving
first order logic
semi automatic
real time
complex environments
fully automatic
dynamic environments
higher order
data driven
decision trees
e learning
information technology
social networks
machine learning
computing environments
databases
data sets
database