Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Engineering / Faculty of Engineering >
北海道大学工学部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University >
No.83 >
検証条件のある証明システム"PROVER"について
Title: | 検証条件のある証明システム"PROVER"について |
Other Titles: | On a Proving System, PROVER, for the Verifivation Conditions |
Authors: | 柳, 繁1 Browse this author | 浦崎, 道教2 Browse this author | 佐藤, 義治3 Browse this author | 河口, 至商4 Browse this author |
Authors(alt): | Yanagi, Shigeru1 | Urasaki, Michinori2 | Sato, Yoshiharu3 | Kawaguchi, Michiaki4 |
Issue Date: | 25-Mar-1977 |
Publisher: | 北海道大学 |
Journal Title: | 北海道大學工學部研究報告 |
Journal Title(alt): | Bulletin of the Faculty of Engineering, Hokkaido University |
Volume: | 83 |
Start Page: | 157 |
End Page: | 164 |
Type: | bulletin (article) |
URI: | http://hdl.handle.net/2115/41399 |
Appears in Collections: | 北海道大学工学部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University > No.83
|
|