マエカワ　ヨシタカ   Yoshitaka Maekawa   前川　仁孝    所属   千葉工業大学  情報変革科学部 情報工学科    千葉工業大学  情報科学研究科 情報科学専攻    職種   教授
言語種別	日本語
発行・発表の年月	2004/10
形態種別	学術雑誌
標題	AND/OR木における証明数・反証数を用いた階層的挟み撃ち探索
執筆形態	共著
掲載誌名	情報処理学会論文誌コンピューティングシステム
出版社・発行元	情報処理学会
巻・号・頁	45(SIG11),280-289頁
著者・共著者	鷹野芙美代, 関根敦史, 佐田宏史, 前川仁孝, 六沢一昭