Sign in
The Incredible Proof Machine (Invited Talk).
Joachim Breitner
Published in:
LFMTP (2016)
Keyphrases
</>
invited talk
selected papers
knowledge discovery and data mining
program committee
computer science
flowshop
carefully reviewed and selected from submissions
batch processing
neural network
learning systems
theorem prover
parallel machines