WEKO3
アイテム
ET-Based Bidirectional Search for Proving Formulas in the Class ES
https://kitami-it.repo.nii.ac.jp/records/7953
https://kitami-it.repo.nii.ac.jp/records/7953a87326d7-1235-45ef-8cd8-ac6c9b3250d2
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
2014.12_ET-based Bidirectional Search for proving Formulas in the Class ES.pdf (256.0 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2015-09-03 | |||||||||
| タイトル | ||||||||||
| タイトル | ET-Based Bidirectional Search for Proving Formulas in the Class ES | |||||||||
| 言語 | en | |||||||||
| 言語 | ||||||||||
| 言語 | eng | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | Logical equivalence | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | Bidirectional search | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | Correctness | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | ET rule | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | Induction | |||||||||
| 資源タイプ | ||||||||||
| 資源 | http://purl.org/coar/resource_type/c_6501 | |||||||||
| タイプ | journal article | |||||||||
| アクセス権 | ||||||||||
| アクセス権URI | open access | |||||||||
| 著者 |
Miura, Katsunori
× Miura, Katsunori
× Akama, Kiyoshi
|
|||||||||
| 著者別名 | ||||||||||
| 識別子Scheme | WEKO | |||||||||
| 識別子 | 44889 | |||||||||
| 識別子Scheme | KAKEN | |||||||||
| 識別子URI | https://nrid.nii.ac.jp/ja/nrid/1000050636587 | |||||||||
| 識別子 | 50636587 | |||||||||
| 姓名 | 三浦, 克宜 | |||||||||
| 言語 | ja | |||||||||
| 書誌情報 |
International Journal of Innovative Computing, Information and Control 巻 10, 号 6, p. 1999-2009, 発行日 2014-12 |
|||||||||
| 権利 | ||||||||||
| 権利情報 | c 2014 ICIC International | |||||||||
| 出版者 | ||||||||||
| 出版者 | ICIC International | |||||||||
| 言語 | en | |||||||||
| 関連サイト | ||||||||||
| URL | http://www.ijicic.org/contents.htm | |||||||||
| 著者版フラグ | ||||||||||
| 言語 | en | |||||||||
| 値 | publisher | |||||||||
| 出版タイプ | ||||||||||
| 出版タイプ | VoR | |||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||
