Статистика
Посещений всего
| Посещения | |
|---|---|
| Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов | 409 |
Посещений по месяцам
| января 2024 | февраля 2024 | марта 2024 | апреля 2024 | мая 2024 | июня 2024 | июля 2024 | |
|---|---|---|---|---|---|---|---|
| Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов | 1 | 0 | 0 | 1 | 5 | 11 | 4 |
Загрузок
| Посещения | |
|---|---|
| bulletin_tpu-2008-312-5-21.pdf | 42 |
Посещений по странам
| Посещения | |
|---|---|
| Россия | 247 |
| Соединенные Штаты | 23 |
| Китай | 22 |
| Германия | 10 |
| Украина | 8 |
| Австралия | 5 |
| Аргентина | 2 |
| Чехия | 1 |
| Испания | 1 |
| Франция | 1 |
Посещений по городам
| Посещения | |
|---|---|
| Moscow | 237 |
| Nanjing | 13 |
| Menlo Park | 5 |
| Andover | 2 |
| Ashburn | 2 |
| Mountain View | 2 |
| Saint Petersburg | 2 |
| Suipacha | 2 |
| Ann Arbor | 1 |
| Changsha | 1 |