WEKO3
-
RootNode
アイテム
SAT技術の進化と応用 〜パズルからプログラム検証まで〜：0．編集にあたって
https://ipsj.ixsq.nii.ac.jp/records/169441
https://ipsj.ixsq.nii.ac.jp/records/169441442956e4-89b1-400f-990b-6308ff06dc98
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-MGN570804.pdf (1.5 MB)
|
Copyright (c) 2016 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Magazine(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2016-07-15 | |||||||||||
| タイトル | ||||||||||||
| タイトル | SAT技術の進化と応用 〜パズルからプログラム検証まで〜：0．編集にあたって | |||||||||||
| タイトル | ||||||||||||
| 言語 | en | |||||||||||
| タイトル | SAT Evolution and Applications：0. Foreword | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | 特集 | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| 資源タイプ | article | |||||||||||
| 著者所属 | ||||||||||||
| 神戸大学 | ||||||||||||
| 著者所属 | ||||||||||||
| 山梨大学 | ||||||||||||
| 著者所属 | ||||||||||||
| 東京大学 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Kobe Univ. | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Univ. of Yamanashi | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| The Univ. of Tokyo | ||||||||||||
| 著者名 |
番原, 睦則
× 番原, 睦則
× 鍋島, 英知
× 森畑, 明昌
|
|||||||||||
| 著者名(英) |
BANBARA, Mutsunori
× BANBARA, Mutsunori
× NABESHIMA, Hidetomo
× MORIHATA, Akimasa
|
|||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AN00116625 | |||||||||||
| 書誌情報 |
情報処理 巻 57, 号 8, p. 702-703, 発行日 2016-07-15 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
