Login / Signup
Proof-Nets And Dependencies.
Alain Lecomte
Published in:
COLING (1992)
Keyphrases
</>
dependency analysis
linear logic
real world
image processing
theorem prover
dependency graph
database
e learning
image sequences
theorem proving
proof planning