コバヤシ サトシ
KOBAYASHI SATOSHI
小林 聡
所属
京都産業大学 情報理工学部 情報理工学科
職種
教授
発表年月日
2011
発表テーマ
カットを含む証明のゲーム意味論
会議名
「記号論理学と情報科学」研究集会 (SLACS 2011)
発表形式
その他