このアイテムのアクセス数: 95

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
2228-02.pdf7.68 MBAdobe PDF見る/開く
タイトル: 命題変数の量化を持つ時相論理の表現能力について (証明と計算の理論と応用)
著者: 佐藤, 悠  KAKEN_name
著者名の別形: Sato, Yu
発行日: Aug-2022
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 2228
開始ページ: 12
終了ページ: 29
URI: http://hdl.handle.net/2433/279722
出現コレクション:2228 証明と計算の理論と応用

アイテムの詳細レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。