System Description: The Proof Transformation System CERES.

Tsvetan Dunchev Alexander Leitsch Tomer Libal Daniel Weller Bruno Woltzenlogel Paleo

Published in: IJCAR (2010)

Keyphrases

high level
precise definition
data mining
neural network
linear transformation
natural deduction
decision making
e learning
image processing
web services
shape description
fukunaga koontz