情報論理学

情報基礎科学専攻

情報論理学 A13 Logic for Information Science

  • 中野 圭介 教授 (Prof. Keisuke Nakano)
  • 浅田 和之 助教 (Assis. Prof. Kazuyuki Asada)
研究キーワード

(準備中)