テンポラル・ロジック

出典: くみこみックス

2009年3月13日 (金) 03:00; Kumikomiadmin (会話 | 投稿記録) による版
(差分) ←前の版 | 最新版を表示 (差分) | 次の版→ (差分)

テンポラル・ロジック【Temporal Logic】



【出典】西久保 靖彦；基本システムLSI用語辞典，CQ出版社，2000年5月．



関連項目

"http://mix.kumikomi.net/index.php/%E3%83%86%E3%83%B3%E3%83%9D%E3%83%A9%E3%83%AB%E3%83%BB%E3%83%AD%E3%82%B8%E3%83%83%E3%82%AF" より作成
表示