WEKO3
アイテム
並行論理プログラム自動修正系kima における誤り検出率の向上とその効果
https://ipsj.ixsq.nii.ac.jp/records/159553
https://ipsj.ixsq.nii.ac.jp/records/1595539b43480e-123b-4e29-96fd-4eda1d5874f9
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2000 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | National Convention(1) | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2000-03-14 | |||||||||
タイトル | ||||||||||
タイトル | 並行論理プログラム自動修正系kima における誤り検出率の向上とその効果 | |||||||||
言語 | ||||||||||
言語 | jpn | |||||||||
キーワード | ||||||||||
主題Scheme | Other | |||||||||
主題 | ソフトウェア科学・工学 | |||||||||
資源タイプ | ||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
資源タイプ | conference paper | |||||||||
著者所属 | ||||||||||
早大 | ||||||||||
著者所属 | ||||||||||
早大 | ||||||||||
著者名 |
網代, 育大
× 網代, 育大
× 上田, 和紀
|
|||||||||
書誌レコードID | ||||||||||
収録物識別子タイプ | NCID | |||||||||
収録物識別子 | AN00349328 | |||||||||
書誌情報 |
第60回全国大会講演論文集 巻 2000, 号 1, p. 283-284, 発行日 2000-03-14 |
|||||||||
出版者 | ||||||||||
言語 | ja | |||||||||
出版者 | 情報処理学会 |