図書

様相構造記述言語を用いるリアクテイブシステム構成法の研究

図書を表すアイコン

様相構造記述言語を用いるリアクテイブシステム構成法の研究

国立国会図書館請求記号
Y151-H03680027
国立国会図書館書誌ID
000006984892
資料種別
図書
著者
米崎, 直樹, 北陸先端科学技術大学院大学
出版者
-
出版年
1990-1992
資料形態
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記:

文部省科学研究費補助金研究成果報告書

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
タイトルよみ
ヨウソウ コウゾウ キジュツ ゲンゴ オ モチイル リアクテイブ システム コウセイホウ ノ ケンキュウ
著者・編者
米崎, 直樹, 北陸先端科学技術大学院大学
著者標目
米崎, 直樹 ヨネザキ, ナオキ
出版年月日等
1990-1992
出版年(W3CDTF)
1990
数量
その他のタイトル
研究種目 一般研究(C)
件名標目
時相論理 ジソウロンリ
仕様記述 シヨウキジユツ
リアクテイブシステム リアクテイブシステム
実現可能性 ジツゲンカノウセイ
プロセスモデル プロセスモデル
非標準論理 ヒヒヨウジユンロンリ
様相論理 ヨウソウロンリ
定理自動証明 テイリジドウシヨウメイ