ブーリアングレブナ基底を使用した集合制約の解法の改良
書誌事項
- タイトル別名
-
- ブーリアングレブナ キテイ オ シヨウ シタ シュウゴウ セイヤク ノ カイホウ ノ カイリョウ
- 第22回日本数式処理学会大会報告
- ダイ22カイ ニホン スウシキ ショリ ガッカイ タイカイ ホウコク
この論文をさがす
収録刊行物
-
- 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation
-
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 20 (2), 66-68, 2014-06
東京 : 日本数式処理学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1520572357802981248
-
- NII論文ID
- 40020151456
-
- NII書誌ID
- AN10403984
-
- ISSN
- 09191410
-
- NDL書誌ID
- 025635990
-
- 本文言語コード
- ja
-
- NDL 雑誌分類
-
- ZM13(科学技術--科学技術一般--データ処理・計算機)
-
- データソース種別
-
- NDL
- CiNii Articles