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

Post date: Aug 10, 2015 12:55:24 PM

日程：2015-09-16 (Wed), 17 (Thu)

場所：神奈川大学 湘南平塚キャンパス 11号館 サーカムホール

詳細は web site に。