学位論文 動的認識論理のラベル付きシークエント計算の研究

野村, 尚新

2016-03
内容記述
Supervisor:東条 敏
情報科学研究科
博士
本文を読む

https://dspace.jaist.ac.jp/dspace/bitstream/10119/13517/1/abstract.pdf

https://dspace.jaist.ac.jp/dspace/bitstream/10119/13517/2/paper.pdf

https://dspace.jaist.ac.jp/dspace/bitstream/10119/13517/3/summary.pdf

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

その他の情報