DSpace

Future University Hakodate Academic Archive >
研究者 >
情報アーキテクチャ学科 >
大場 みち子 >

このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/10445/5443

タイトル: ルール型制御システムSCD用ルールの論理自動検証方式
著者: 大場, 雅博
薦田, 憲久
藤井, みち子
アブストラクト: 制御論理をIF-THEN型ルールで記述する方式に対し、条件部の条件の抜けや冗長性を検証する方式を提案した。
研究業績種別: 国内学会/Domestic Conference
資料種別: Conference Paper
単著共著: 共著/joint
開始ページ: 983
終了ページ: 984
年月日: 1983年9月
出現コレクション:大場 みち子

ファイルダウンロード:

このコンテンツにファイルはありません。

このアーカイブに登録されているコンテンツはすべて著作権により保護されています。
著作権を遵守の上、ご利用ください。

 

Copyright © 2010-2012 FUTURE UNIVERSITY HAKODATE.
Powered by DSpace Software Copyright © 2002-2007 MIT and Hewlett-Packard