ノト マサト
Noto Masato
能登 正人
所属
神奈川大学 情報学部 システム数理学科
神奈川大学大学院 工学研究科 工学専攻(電気電子情報工学領域)
職種
教授
言語種別
日本語
発行・発表の年月
1999/03
形態種別
大学・研究所等紀要
標題
等式プログラムの停止性検証
執筆形態
共著
掲載誌名
神奈川大学工学部報告
掲載区分
国内
巻・号・頁
(37),25-27頁
著者・共著者
能登正人
,栗原正仁
Copyright © Kanagawa University. All Rights Reserved.