TIP: Tools for Inductive Provers.

Dan Rosén Nicholas Smallbone

Published in: LPAR (2015)

Keyphrases

software tools
information systems
inductive learning
theorem prover
databases
building blocks
learning systems
machine learning
website
relational databases
end users
user friendly
design decisions
position and orientation