図書

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

Icons representing 図書

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

Call No. (NDL)
Y151-H03680027
Bibliographic ID of National Diet Library
000006984892
Material type
図書
Author
米崎, 直樹, 北陸先端科学技術大学院大学
Publisher
-
Publication date
1990-1992
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
1990-1992
Publication Date (W3CDTF)
1990
Extent
Additional Title
研究種目 一般研究(C)
Subject Heading
時相論理 ジソウロンリ
仕様記述 シヨウキジユツ
リアクテイブシステム リアクテイブシステム
実現可能性 ジツゲンカノウセイ
プロセスモデル プロセスモデル
非標準論理 ヒヒヨウジユンロンリ
様相論理 ヨウソウロンリ
定理自動証明 テイリジドウシヨウメイ