WEKO3
アイテム
BDD（二分決定グラフ）：2. 計算機上でのBDDの処理技法
https://ipsj.ixsq.nii.ac.jp/records/4290
https://ipsj.ixsq.nii.ac.jp/records/4290f4d1b5f9-4c67-47ca-a0b4-9aafa954e843
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-MGN340513 (823.5 kB)
|
Copyright (c) 1993 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Magazine(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1993-05-15 | |||||||
| タイトル | ||||||||
| タイトル | BDD（二分決定グラフ）：2. 計算機上でのBDDの処理技法 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Techniques for BDD Manipulation on Computers | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 特集 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | article | |||||||
| 著者所属 | ||||||||
| NTT LSI 研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT LSI Laboratories | ||||||||
| 著者名 |
湊, 真一
× 湊, 真一
|
|||||||
| 著者名(英) |
Minato, Shin-Ichi
× Minato, Shin-Ichi
|
|||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116625 | |||||||
| 書誌情報 |
情報処理 巻 34, 号 5, 発行日 1993-05-15 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
