研究者情報 | 神奈川大学

ヤマグチ　タカヒラ Yamaguchi Takahira 山口　高平所属神奈川大学情報学部システム数理学科神奈川大学大学院工学研究科工学専攻（情報システム創成領域）職種教授
言語種別	日本語
発行・発表の年月	1984/01
形態種別	学術雑誌
査読	査読あり
標題	定理証明システムSENRIの構成
執筆形態	共著
掲載誌名	情報処理学会論文誌
出版社・発行元	情報処理学会
巻・号・頁	25(1),46-58頁
著者・共著者	山口高平,西岡弘明,打浪清一,手塚慶一
ISSN	1882-7764
NAID	110002723850
PermalinkURL	http://id.nii.ac.jp/1001/00015983/