Login / Signup
Closure, deduction and hinge commitments.
Xiaoxing Zhang
Published in:
Synth. (2021)
Keyphrases
</>
inference rules
multiagent systems
theorem proving
theorem prover
object recognition
automated theorem proving
automated deduction
strictly convex
machine learning
image processing
decision trees
pairwise
proof procedure
intuitionistic logic