| Views | |
|---|---|
| Доказательство конечности алгоритма поиска вывода для натуральных систем негативной силлогистики и оценка его временной сложности | 245 |
| October 2025 | November 2025 | December 2025 | January 2026 | February 2026 | March 2026 | April 2026 | |
|---|---|---|---|---|---|---|---|
| Доказательство конечности алгоритма поиска вывода для натуральных систем негативной силлогистики и оценка его временной сложности | 13 | 4 | 6 | 1 | 11 | 3 | 0 |
| Views | |
|---|---|
| 2011_44_181-183.pdf | 67 |
| Views | |
|---|---|
| Russia | 34 |
| Views | |
|---|---|
| Kazan | 34 |