Login / Signup
Proof and Canonical Proof.
Bernhard Weiss
Published in:
Synth. (1997)
Keyphrases
</>
theorem proving
proof planning
learning algorithm
information systems
decision making
object recognition
theorem prover
linear logic
case study
image segmentation
multiscale
cooperative
proof theory
imperative programs
geometry theorem proving