Date
2 Oct 2012
00:00 - 00:00
00:00 - 00:00
Система автоматического доказательства теорем
Microsoft Z3: Как научить компьютер доказывать теоремы и тестировать программы
City
Москва, Россия
Venue
МГУ
Registration
Registration is closed