Статистика
Посещений всего
Посещения | |
---|---|
Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов | 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 |