Login / Signup
Common subproofs in proof pairs.
Guillermo Morales-Luna
Published in:
Eng. Lett. (2007)
Keyphrases
</>
digital libraries
pairwise
theorem prover
linear logic
real time
computer vision
decision trees
multi agent