Статистика
Посещений всего
| Посещения | |
|---|---|
| Стратегия установления выводимости формул в структурных функциональных моделях | 390 |
Посещений по месяцам
| ноября 2023 | декабря 2023 | января 2024 | февраля 2024 | марта 2024 | апреля 2024 | мая 2024 | |
|---|---|---|---|---|---|---|---|
| Стратегия установления выводимости формул в структурных функциональных моделях | 1 | 1 | 0 | 0 | 0 | 2 | 2 |
Загрузок
| Посещения | |
|---|---|
| bulletin_tpu-2006-309-7-27.pdf | 37 |
Посещений по странам
| Посещения | |
|---|---|
| Россия | 248 |
| Китай | 20 |
| Соединенные Штаты | 17 |
| Германия | 10 |
| Украина | 7 |
| Катар | 2 |
| Швеция | 2 |
| Чехия | 1 |
| Франция | 1 |
| Иран | 1 |
Посещений по городам
| Посещения | |
|---|---|
| Moscow | 241 |
| Nanjing | 12 |
| Doha | 2 |
| Mountain View | 2 |
| Andover | 1 |
| Ashburn | 1 |
| Cambridge | 1 |
| Changsha | 1 |
| Chengdu | 1 |
| Chongqing | 1 |