Deduction System for TIL-2010.

Marie Duzí Marek Mensík Lukás Vích

Published in: RASLAN (2012)

Keyphrases

theorem proving
inference rules
database
training data
computational complexity
automated theorem proving
data sets
databases
dynamic programming
scheduling problem
general purpose
higher order
theorem prover
computer algebra