Подходы к построению алгоритма вычисления логического следования в логике LS2
Название | Подходы к построению алгоритма вычисления логического следования в логике LS2 |
---|---|
Авторы | |
Ключевые слова | логическое следование, силлогичтические теории |
Секции | Естественно-научные направления |
Аннотация | |
Форма участия | Очная |