Город: Санкт-Петербург Казань Язык: Русский English

Лекция 10. Древовидные системы доказательств и вероятностная коммуникация
Сложность пропозициональных доказательств


Что: Лекция
Когда: Вторник, 14 ноября 2017, 18:30–20:00
Где: ПОМИ РАН