SPASS & FLOTTER Version 0.42.

Christoph Weidenbach Bernd Gaede Georg Rock

Published in: CADE (1996)

Keyphrases

theorem prover
machine learning
original version
neural network
data mining
learning algorithm
knowledge base
training data
high quality
information technology