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