Sendai Logic Seminar

場所 : 理学研究科合同A棟 (H-02) 12階 1201室 [ 地図]

直近のセミナー

日時 2017.5.12 (金) / 16:00 - 17:00
講演者 山崎 武 氏 (東北大学大学院 理学研究科)
題目 量子命題論理のバリエーションについて
概要

TBA

2017年のセミナー

過去のセミナー