From LCF to HOL: a short history.

Published in: Proof, Language, and Interaction (2000)

Keyphrases

data mining
theorem prover
natural deduction
image processing
case study
high level
face recognition
video sequences
formal methods
historical information
higher order logic