A Mizar Mode for HOL.

Published in: TPHOLs (1996)

Keyphrases

theorem prover
computer assisted
formal methods
databases
mixed mode
learning algorithm
natural deduction
multimedia
video sequences
pattern recognition
control system
bit rate