Login / Signup
Three Faces of Natural Deduction.
Grigori Mints
Published in:
TABLEAUX (1997)
Keyphrases
</>
natural deduction
theorem prover
inference rules
cut elimination
theorem proving
intuitionistic logic
sequent calculus
human faces
face identification
face recognition
face images
linear time temporal logic
linear logic
first order logic
logic programming
facial expressions
high level
machine learning