研究集会

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

開催期間

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

場所

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

概要

日本語: https://joint.imi.kyushu-u.ac.jp/post-14963/
English: https://joint.imi.kyushu-u.ac.jp/post-15554/

研究集会一覧

研究活動