11th Theorem Proving and Provers 研究集会 (TPP 2015) を主催します

2015/08/10 5:55 に 木下佳樹 が投稿
日程:2015-09-16 (Wed), 17 (Thu)
場所:神奈川大学 湘南平塚キャンパス 11号館 サーカムホール
Comments