研究集会

コンピュータによる定理証明支援とその応用
Computer Assisted Theorem Proving and Applications

開催期間

2024.11.25(月)
12:50 ~ 2024.11.26(火) 16:40

場所

IMIオーディトリアム(D-413)

概要