Coherence for Sharing Proof Nets.

Stefano Guerrini Simone Martini Andrea Masini

Published in: RTA (1996)

Keyphrases

information sharing
theorem proving
proof planning
website
decision trees
bayesian networks
special case
linear logic
automated theorem proving
data sets
knowledge sharing
geometry theorem proving