"Proving as Editing HOL Tactics."

Koichi Takahashi, Masami Hagiya (1999)

Details and statistics

DOI: 10.1007/S001650050054

access: open

type: Journal Article

metadata version: 2022-05-09