search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

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