図書

様相論理とその実時間制御及び人工知能への応用

図書を表すアイコン

様相論理とその実時間制御及び人工知能への応用

国立国会図書館請求記号
Y151-S63580026
国立国会図書館書誌ID
000007036170
資料種別
図書
著者
中島, 玲二, 京都大学
出版者
-
出版年
1989-1990
資料形態
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記:

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

書店で探す

書誌情報

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

資料種別
図書
タイトルよみ
ヨウソウ ロンリ ト ソノ ジツ ジカン セイギョ オヨビ ジンコウ チノウ ヘ ノ オウヨウ
著者・編者
中島, 玲二, 京都大学
著者標目
中島, 玲二 ナカジマ, レイジ
出版年月日等
1989-1990
出版年(W3CDTF)
1989
数量
その他のタイトル
研究種目 一般研究(C)
件名標目
様相論理 ヨウソウロンリ
時制論理 ジセイロンリ
形式的プログラム仕様 ケイシキテキプログラムシヨウ
実時間制御システム ジツジカンセイギヨシステム
知識表現 チシキヒヨウゲン
分散システム ブンサンシステム
実行可能仕様言語 ジツコウカノウシヨウゲンゴ