Доклады
Все доклады, связанные с меткой «Сметанин»
Авторы | Форма участия | |
---|---|---|
Подходы к построению алгоритма вычисления логического следования в логике LS2 | Очная | |
Методика решения логических задач посредством исчисления конституентных множеств | Очная |