書店で探す
書店で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- タイトルよみ
- キカ プログラミング ・ システム ニ カンスル ケンキュウ
- 著者・編者
- 松山, 隆司, 岡山大学
- 著者標目
- 松山, 隆司, 1951- マツヤマ, タカシ, 1951- ( 00733832 )典拠
- 出版年月日等
- 1991-1992
- 出版年（W3CDTF）
- 1991
- 数量
- 冊
- その他のタイトル
- 研究種目 一般研究(B)
- 件名標目
- 代数的制約記述 ダイスウテキセイヤクキジユツ制約プログラミング セイヤクプログラミング幾何推論 キカスイロンGrobrer基底法 GROBRERキテイホウ幾何学定理証明 キカガクテイリシヨウメイ図形処理ソフトウエア ズケイシヨリソフトウエア画像処理ソフトウエア ガゾウシヨリソフトウエア