2012年5月
BDD/ZDDの技法と離散構造処理系(<特集>離散構造処理系-知能情報処理を支えるアルゴリズムの技法)
人工知能学会誌
- 巻
- 27
- 号
- 3
- 開始ページ
- 232
- 終了ページ
- 238
- 記述言語
- 日本語
- 掲載種別
- 研究論文(学術雑誌)
- 出版者・発行元
- 社団法人人工知能学会
- リンク情報
-
- CiNii Articles
- http://ci.nii.ac.jp/naid/110009445644
- CiNii Books
- http://ci.nii.ac.jp/ncid/AN10067140
- ID情報
-
- ISSN : 0912-8085
- CiNii Articles ID : 110009445644
- CiNii Books ID : AN10067140