Home セミナー 談話会 集中講義 研究集会 教員紹介 アクセス キャンパス

セミナー情報 　今週のセミナー 　来週以降のセミナー 　過去の記録 　2012年度の記録 　 2013年　2月11日（月）〜2月15日（金） 2月15日(金) ■ロジックセミナー 　16:00-- 【会場：合同棟1201】 講演者：Jeroen Van der Meeren 氏（Ghent University） 題目： Maximal Order Types of Recursively Defined Trees   東北大学　　/　　理学部・理学研究科　　/　　情報科学研究科　　/　　数学専攻研究資料室　　/　　お問合せ