Natural Deduction Environment for Matita.

Claudio Sacerdoti Coen Enrico Tassi

Published in: Calculemus/MKM (2009)

Keyphrases

natural deduction
theorem prover
real time
mobile robot
probability distribution
general purpose
neural network
training data
virtual world
inference rules