Проводится
2 Окт 2012
00:00 - 00:00
00:00 - 00:00
Система автоматического доказательства теорем
Microsoft Z3: Как научить компьютер доказывать теоремы и тестировать программы
Город
Москва, Россия
Место
МГУ
Регистрация
Регистрация закрыта