Proof Assistant Based on Didactic Considerations.

Jorge Pais Alvaro Tasistro

Published in: J. Univers. Comput. Sci. (2013)

Keyphrases

test bed
database
theorem proving
machine learning
distance learning
theorem prover
proof planning
social networks
high level
natural language
automated theorem proving