ブーリアングレブナ基底を使用した集合制約の解法の改良
Bibliographic Information
- Other Title
-
- ブーリアングレブナ キテイ オ シヨウ シタ シュウゴウ セイヤク ノ カイホウ ノ カイリョウ
- 第22回日本数式処理学会大会報告
- ダイ22カイ ニホン スウシキ ショリ ガッカイ タイカイ ホウコク
Search this article
Journal
-
- 数式処理 = 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
Details 詳細情報について
-
- CRID
- 1520572357802981248
-
- NII Article ID
- 40020151456
-
- NII Book ID
- AN10403984
-
- ISSN
- 09191410
-
- NDL BIB ID
- 025635990
-
- Text Lang
- ja
-
- NDL Source Classification
-
- ZM13(科学技術--科学技術一般--データ処理・計算機)
-
- Data Source
-
- NDL
- CiNii Articles
