Search by Bookstore
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- Title
- Title Transcription
- キカ プログラミング ・ システム ニ カンスル ケンキュウ
- Author/Editor
- 松山, 隆司, 岡山大学
- Author Heading
- 松山, 隆司, 1951- マツヤマ, タカシ, 1951- ( 00733832 )Authorities
- Publication Date
- 1991-1992
- Publication Date (W3CDTF)
- 1991
- Extent
- 冊
- Additional Title
- 研究種目 一般研究(B)
- Subject Heading
- 代数的制約記述 ダイスウテキセイヤクキジユツ制約プログラミング セイヤクプログラミング幾何推論 キカスイロンGrobrer基底法 GROBRERキテイホウ幾何学定理証明 キカガクテイリシヨウメイ図形処理ソフトウエア ズケイシヨリソフトウエア画像処理ソフトウエア ガゾウシヨリソフトウエア