Classical proof forestry.

Willem Heijltjes

Published in: Ann. Pure Appl. Log. (2010)

Keyphrases

database
theorem proving
relational databases
real time
databases
neural network
machine learning
learning algorithm
three dimensional
multi agent
linear logic
geometry theorem proving