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