動的認識論理のラベル付きシークエント計算の研究 - 文献詳細 - Ceek.jp Altmetrics

1 0 0 0 OA 動的認識論理のラベル付きシークエント計算の研究

著者: 野村尚新
出版者: 北陸先端科学技術大学院大学
巻号頁・発行日: 2016-03

Supervisor:東条敏

2018-04-07 17:52:52
1 + 0 Twitter

http://hdl.handle.net/10119/13517

言及状況

Twitter (1 users, 1 posts, 0 favorites)

メモ（DEL） https://t.co/VuG1ChOzS0 https://t.co/vbgNDOZp3S https://t.co/Y5k4yaHNKo

収集済み URL リスト

https://dspace.jaist.ac.jp/dspace/handle/10119/13517?mode=full (1)