Proof Contexts with Late Binding.

Virgile Prevosto Sylvain Boulmé

Published in: TLCA (2005)

Keyphrases

geometry theorem proving
automated theorem proving
linear logic
database systems
multi agent
theorem proving
data sets
expert systems
complete axiomatization
social context
theorem prover
probabilistic model
natural language
objective function
three dimensional
decision trees
website
neural network