Proving as Editing HOL Tactics.

Koichi Takahashi Masami Hagiya

Published in: Formal Aspects Comput. (1999)

Keyphrases

theorem prover
formal methods
natural deduction
image editing
theorem proving
multiscale
wide range
learning environment
higher order logic
real world
computer vision
multimedia
high level
information technology
management system