カワノ トモアキ
Kawano Tomoaki
河野 友亮
所属
神奈川大学 情報学部 計算機科学科
職種
助教
発表テーマ
量子論理のシークエント計算と意味論
学会区分
研究会・シンポジウム等
発表形式
口頭(一般)
単独共同区分
単独
Copyright © Kanagawa University. All Rights Reserved.