年 〜
年

検索結果 5 件

多様相論理の総合的研究とゲーム理論への応用

多様相論理の総合的研究とゲーム理論への応用
紙図書
鈴木信行, 静岡大学 [著][鈴木信行]2004-2006<Y151-H16340022>
国立国会図書館
  • 件名非古典論理 / 様相論理 / 認識論理 / Kripke意味論 / 代数的意味論 / ゲーム理論 / 限定合理性

高信頼性Webアプリケーション構築のための振舞い検証モデル

高信頼性Webアプリケーション構築のための振舞い検証モデル
紙図書
結縁祥治, 名古屋大学 [著][結縁祥治]2004-2006<Y151-H16500027>
国立国会図書館
  • 件名通信プロセスモデル / Webアプリケーション / π計算 / 代数的意味論 / タイムアウト処理

The conservativity problem between fragments of intermediate logics and its application

The conservativity problem between fragments of intermediate logics and its application
デジタル博士論文障害者向け資料あり
横溝,恭平2018-03-25
インターネットで読める国立国会図書館全国の図書館
  • 件名数理論理学 非古典論理 中間論理 代数的意味論 シークエント計算 Mathematical logic N...

非古典述語論理のための代数的意味論の再構築

非古典述語論理のための代数的意味論の再構築
デジタル文書・図像類
鈴木, 信行静岡大学2017-06-21
全国の図書館
  • 件名非古典論理 代数的意味論 述語論理 クリプキ意味論

アルゴリズム論に関する総合的研究

アルゴリズム論に関する総合的研究
紙図書
小林, 孝次郎, 東京工業大学1994-1996<Y151-H06302013>
国立国会図書館
  • 件名微分方程式の同定 知識命題論理 代数的意味論 関係代数 プログラムの検証 時相論理 蛋白質の構造 音楽情...

検索結果は以上です。