Славнов Сергей Андреевич

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

1. Логика тензорных термов для категориальных грамматик: простое объединение коммутативных и некоммутативных операций линейной логики
   С. А. Славнов
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   20 ноября 2023 г. 18:30