-calculus.

Mikolaj Bojanczyk Christoph Dittmann Stephan Kreutzer

Published in: CSL-LICS (2014)

Keyphrases

automated deduction
real time
decision trees
computer algebra
data sets
genetic algorithm
computer vision
e learning
case study
proof procedure
automated theorem proving