SEMINAR
証明可能性論理について
講演日：2022.12.22 (Thu)
- 談話会
講演者
岩田 荘平（神戸大学システム情報学研究科）
開始時間及び場所
12月22日（木）16:45～17:45
近畿大学東大阪キャンパス31号館4階401講義室
近畿大学東大阪キャンパス31号館4階401講義室
講演日：2022.12.22 (Thu)