出版情報	東京 : 東京大学出版会 , 2011.8
大きさ	xi, 249p : 挿図 ; 21cm
別書名	標題紙タイトル:Algorithms of quantifier elimination and their applications : optimization by symbolic and algebraic methods 表紙タイトル:Quantifier Eliminationの計算アルゴリズムとその応用 : 数式処理による最適化
一般注記	参考文献: p239-243
著者標目	穴井, 宏和 <アナイ, ヒロカズ>  横山, 和弘(1958-) <ヨコヤマ, カズヒロ>
件　名	BSH:数値計算 -- データ処理  全ての件名で検索 BSH:アルゴリズム
分　類	NDC8:418.1 NDC9:418.1
本文言語	日本語
書誌ID	TB10049728
ISBN	9784130614061
NCID	BB06594011
巻冊次	ISBN:9784130614061 ; PRICE:3600円+税