Login / Signup
Proof Nets.
Mario Ornaghi
Published in:
LOPSTR (1992)
Keyphrases
</>
theorem prover
theorem proving
image processing
three dimensional
cooperative
linear logic
automated theorem proving
complete axiomatization
neural network
high level
bayesian networks
reinforcement learning
information technology
relational databases
proof planning
geometry theorem proving