Thesis or Dissertation 動的認識論理のラベル付きシークエント計算の研究

野村, 尚新

2016-03
Description
Supervisor:東条 敏
情報科学研究科
博士
Full-Text

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

Number of accesses :  

Other information