Тодиков Сергей Игоревич

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

1. Алгоритм минимизация мультопераций в классе ключевых стандартных форм
   С. И. Тодиков
   Международная школа-семинар "Синтаксис и семантика логических систем"
   15 августа 2019 г. 16:30