Статистика
Посещений всего
| Посещения | |
|---|---|
| Нецелеориентированная стратегия вывода формул в модальных исчислениях | 424 |
Посещений по месяцам
| января 2024 | февраля 2024 | марта 2024 | апреля 2024 | мая 2024 | июня 2024 | июля 2024 | |
|---|---|---|---|---|---|---|---|
| Нецелеориентированная стратегия вывода формул в модальных исчислениях | 0 | 1 | 1 | 0 | 8 | 8 | 0 |
Загрузок
| Посещения | |
|---|---|
| bulletin_tpu-2006-309-7-26.pdf | 51 |
Посещений по странам
| Посещения | |
|---|---|
| Россия | 256 |
| Соединенные Штаты | 24 |
| Китай | 23 |
| Германия | 10 |
| Украина | 8 |
| Австралия | 2 |
| Швеция | 2 |
| Аргентина | 1 |
| Чехия | 1 |
| Монголия | 1 |
Посещений по городам
| Посещения | |
|---|---|
| Moscow | 241 |
| Nanjing | 14 |
| Ashburn | 5 |
| Saint Petersburg | 4 |
| Menlo Park | 3 |
| Andover | 2 |
| Cambridge | 2 |
| Edmond | 2 |
| Zhengzhou | 2 |
| Doha | 1 |