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

• 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