サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 記事・論文

事象のメレオロジーと時間論理

齋藤 暢人

詳細情報

タイトル 事象のメレオロジーと時間論理
著者 齋藤 暢人
出版年 2014-12
別タイトル Mereology of Events and Temporal Logics
件名(キーワード) メレオロジー
件名(キーワード) 事象
件名(キーワード) 時区間代数
件名(キーワード) 時間論理
件名(キーワード) Mereology
件名(キーワード) Events
件名(キーワード) Interval Algebra
件名(キーワード) temporal logic
対象利用者 一般
資料の種別 記事・論文
掲載誌情報(ISSN形式) 1348799X
掲載誌情報(ISSNL形式) 1348799X
掲載誌情報(URI形式) http://iss.ndl.go.jp/books/R100000002-I000004236711-00
掲載誌名 東京電機大学総合文化研究 / 東京電機大学総合文化研究編集委員会 編
掲載号 12
掲載ページ 191-197
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで