Соколов Дмитрий Олегович

Доклады и лекции в базе данных Math-Net.Ru

1. Резолюционные доказательства и монотонные вычисления
   Д. О. Соколов
   Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
   24 декабря 2018 г. 16:20