The proof monad.

Florent Kirchner César A. Muñoz

Published in: J. Log. Algebraic Methods Program. (2010)

Keyphrases

theorem proving
theorem prover
machine learning
three dimensional
data structure
preprocessing
automated theorem proving
decision making
multimedia
object recognition
geometry theorem proving