A tactic-driven system for building proofs.

Laurent Hascoët

Published in: SPLT (1988)

Keyphrases

wide range
theorem proving
neural network
information systems
data sets
real world
feature selection
special case
probabilistic model
decision makers
data driven
theorem prover
supplier selection