Touring the Calculus Gallery.

Published in: Am. Math. Mon. (2005)

Keyphrases

face images
algebraic structure
artificial intelligence
computer vision
face recognition
formal language
automated deduction
natural deduction
provably correct
sequent calculus