研究者情報 | 神奈川大学

ヤマグチ　タカヒラ Yamaguchi Takahira 山口　高平所属神奈川大学情報学部システム数理学科神奈川大学大学院工学研究科工学専攻（情報システム創成領域）職種教授
言語種別	日本語
発行・発表の年月	1986/01
形態種別	学術雑誌
標題	定理証明プログラムにおける内部構造の一実現法
執筆形態	共著
掲載誌名	情報処理学会論文誌
出版社・発行元	情報処理学会
巻・号・頁	27(1),20-25頁
著者・共著者	山口高平,打浪清一,手塚慶一,角所収
ISSN	1882-7764
NAID	110002724122
PermalinkURL	http://id.nii.ac.jp/1001/00015707/