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

Notes on use

Search by Bookstore

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

Material Type: 図書
Title: 様相構造記述言語を用いるリアクテイブシステム構成法の研究
Title Transcription: ヨウソウコウゾウキジュツゲンゴオモチイルリアクテイブシステムコウセイホウノケンキュウ
Author/Editor: 米崎, 直樹, 北陸先端科学技術大学院大学
Author Heading: 米崎, 直樹ヨネザキ, ナオキ
Publication Date: 1990-1992
Publication Date (W3CDTF): 1990
Extent: 冊
Additional Title: 研究種目一般研究(C)
Subject Heading: 時相論理ジソウロンリ
仕様記述シヨウキジユツ
リアクテイブシステムリアクテイブシステム
実現可能性ジツゲンカノウセイ
プロセスモデルプロセスモデル
非標準論理ヒヒヨウジユンロンリ
様相論理ヨウソウロンリ
定理自動証明テイリジドウシヨウメイ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 03680027
Holding library: 国立国会図書館
Call No.: Y151-H03680027
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006984892
http://id.ndl.go.jp/bib/000006984892
Bibliographic Record Category (NDL): 214