研究者情報 | 神奈川大学

カワノ　トモアキ Kawano Tomoaki 河野　友亮所属神奈川大学情報学部計算機科学科職種助教
発表テーマ	Quantum logic の意味論とシークエント計算
学会区分	研究会・シンポジウム等
発表形式	口頭（一般）
単独共同区分	単独