WEKO3
アイテム
ルール型制御システムSCD用ルールの論理自動検証方式
http://hdl.handle.net/10445/5443
http://hdl.handle.net/10445/5443251dd045-4ee4-4cfa-9c33-c6f71b10539f
| Item type | 会議発表論文 / Conference Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2010-12-03 | |||||
| タイトル | ||||||
| タイトル | ルール型制御システムSCD用ルールの論理自動検証方式 | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| アクセス権 | ||||||
| アクセス権 | metadata only access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_14cb | |||||
| 著者 |
大場, 雅博
× 大場, 雅博× 薦田, 憲久× 藤井, みち子 |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 制御論理をIF-THEN型ルールで記述する方式に対し、条件部の条件の抜けや冗長性を検証する方式を提案した。 | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 情報処理学会第31回全国大会、5M－2 | |||||
| 書誌情報 | p. 983-984, 発行日 1983-09 | |||||
| 研究業績種別 | ||||||
| 値 | 国内学会/Domestic Conference | |||||
| 単著共著 | ||||||
| 値 | 共著/joint | |||||
