ミカワ ケンジ   Mikawa Kenji
  三河 賢治
   所属   前橋工科大学  工学部 生命情報学科
   前橋工科大学大学院  工学研究科 生命情報学専攻(修士課程)
   前橋工科大学大学院  工学研究科 環境・生命工学専攻(博士課程)
   前橋工科大学  工学部 情報・生命工学群
   職種   教授
言語種別 日本語
発行・発表の年月 2019/11
形態種別 機関テクニカルレポート,技術報告書,プレプリント等
標題 SATソルバによるルールリストポリシの等価判定
執筆形態 共著
掲載誌名 電子情報通信学会技術研究報告
掲載区分国内
出版社・発行元 電子情報通信学会
巻・号・頁 119(329),13-19頁
著者・共著者 渕野敬, 原田崇司, 田中賢, 三河賢治