Просмотры | |
---|---|
Доказательство конечности алгоритма поиска вывода для натуральных систем негативной силлогистики и оценка его временной сложности | 45 |
Октябрь 2023 | Ноябрь 2023 | Декабрь 2023 | Январь 2024 | Февраль 2024 | Март 2024 | Апрель 2024 | |
---|---|---|---|---|---|---|---|
Доказательство конечности алгоритма поиска вывода для натуральных систем негативной силлогистики и оценка его временной сложности | 3 | 0 | 0 | 1 | 3 | 3 | 0 |
Просмотры | |
---|---|
2011_44_181-183.pdf | 39 |
Просмотры | |
---|---|
Россия | 34 |
Просмотры | |
---|---|
Kazan | 34 |