北海道大学工学部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University;No.83
HUSCAP
HOME
>
No.83
FONT SIZE:
検証条件のある証明システム"PROVER"について
柳, 繁;浦崎, 道教;佐藤, 義治;河口, 至商
Permalink :
http://hdl.handle.net/2115/41399
Abstract
FULL TEXT:
PDF