講演者資料
資料一覧
伊藤風輝 :
AND-OR 木の最適な乱択アルゴリズムの非一意性
倉橋太志 :
述語証明可能性論理の包含関係について
Takashi Satō :
Prime Ideal Factorization within Weak Fragments of Arithmetic
世話人: 池田一磨 (杏林大学)
連絡先: ikedak[at]ks.kyorin-u.ac.jp