Sign in
Better Proof Output for Vampire.
Giles Reger
Published in:
Vampire@IJCAR (2016)
Keyphrases
</>
artificial intelligence
decision making
search algorithm
neural network
data mining
information retrieval
decision trees
case study