Статистика
Посещений всего
| Посещения | |
|---|---|
| Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов | 389 |
Посещений по месяцам
| октября 2023 | ноября 2023 | декабря 2023 | января 2024 | февраля 2024 | марта 2024 | апреля 2024 | |
|---|---|---|---|---|---|---|---|
| Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов | 0 | 1 | 1 | 1 | 0 | 0 | 1 |
Загрузок
| Посещения | |
|---|---|
| bulletin_tpu-2008-312-5-21.pdf | 40 |
Посещений по странам
| Посещения | |
|---|---|
| Россия | 247 |
| Китай | 22 |
| Соединенные Штаты | 17 |
| Германия | 10 |
| Украина | 2 |
| Чехия | 1 |
| Испания | 1 |
| Франция | 1 |
| Грузия | 1 |
| Казахстан | 1 |
Посещений по городам
| Посещения | |
|---|---|
| Moscow | 237 |
| Nanjing | 13 |
| Andover | 2 |
| Ashburn | 2 |
| Mountain View | 2 |
| Saint Petersburg | 2 |
| Ann Arbor | 1 |
| Changsha | 1 |
| Den Haag | 1 |
| Fairfield | 1 |