WEKO3
アイテム
B-022 文字列一致による数学的等価性判定可能なモデル分割アルゴリズム(B分野:ソフトウェア,一般論文)
https://ipsj.ixsq.nii.ac.jp/records/152024
https://ipsj.ixsq.nii.ac.jp/records/1520245f3e073e-3609-43bc-b8f4-5c35c51c6fd3
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00009336307.pdf (131.1 kB)
|
Copyright (c) 2013 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2013-08-20 | |||||||||
| タイトル | ||||||||||
| タイトル | B-022 文字列一致による数学的等価性判定可能なモデル分割アルゴリズム(B分野:ソフトウェア,一般論文) | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | B-022 A Model Slicing Algorithm for Mathematical Equivalence Check by String Matching | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 電通大 | ||||||||||
| 著者所属 | ||||||||||
| 電通大 | ||||||||||
| 著者名 |
三鍋, 孝介
× 三鍋, 孝介
× 織田, 健
|
|||||||||
| 著者名(英) |
Minabe, Kousuke
× Minabe, Kousuke
× Oda, Takeshi
|
|||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AA1242354X | |||||||||
| 書誌情報 |
情報科学技術フォーラム講演論文集 巻 12, 号 1, p. 271-272, 発行日 2013-08-20 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
