| Просмотры | |
|---|---|
| Доказательство конечности алгоритма поиска вывода для натуральных систем негативной силлогистики и оценка его временной сложности | 303 |
| Май 2026 | Июнь 2026 | Июль 2026 | Август 2026 | Сентябрь 2026 | Октябрь 2026 | Ноябрь 2026 | |
|---|---|---|---|---|---|---|---|
| Доказательство конечности алгоритма поиска вывода для натуральных систем негативной силлогистики и оценка его временной сложности | 4 | 13 | 8 | 14 | 3 | 6 | 8 |
| Просмотры | |
|---|---|
| 2011_44_181-183.pdf | 78 |
| Просмотры | |
|---|---|
| Россия | 34 |
| Просмотры | |
|---|---|
| Kazan | 34 |