図書

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

Icons representing 図書

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

Call No. (NDL)
Y151-S63580026
Bibliographic ID of National Diet Library
000007036170
Material type
図書
Author
中島, 玲二, 京都大学
Publisher
-
Publication date
1989-1990
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

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

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title Transcription
ヨウソウ ロンリ ト ソノ ジツ ジカン セイギョ オヨビ ジンコウ チノウ ヘ ノ オウヨウ
Author/Editor
中島, 玲二, 京都大学
Author Heading
中島, 玲二 ナカジマ, レイジ
Publication Date
1989-1990
Publication Date (W3CDTF)
1989
Extent
Additional Title
研究種目 一般研究(C)
Subject Heading
様相論理 ヨウソウロンリ
時制論理 ジセイロンリ
形式的プログラム仕様 ケイシキテキプログラムシヨウ
実時間制御システム ジツジカンセイギヨシステム
知識表現 チシキヒヨウゲン
分散システム ブンサンシステム
実行可能仕様言語 ジツコウカノウシヨウゲンゴ