Система автоматического доказательства теорем

Проводится

2 Окт 2012
00:00 - 00:00

Город

Москва, Россия

Место

МГУ

Регистрация

Регистрация закрыта

Microsoft Z3: Как научить компьютер доказывать теоремы и тестировать программы