Статистика
Всего просмотров
| Просмотров | |
|---|---|
| Об автоматическом доказательстве правильности программ в системе функционального программирования | 193 |
Всего просмотров за месяц
| августа 2025 | сентября 2025 | октября 2025 | ноября 2025 | декабря 2025 | января 2026 | февраля 2026 | |
|---|---|---|---|---|---|---|---|
| Об автоматическом доказательстве правильности программ в системе функционального программирования | 5 | 50 | 8 | 23 | 8 | 10 | 2 |
Загрузок файла
| Просмотров | |
|---|---|
| 31-34.pdf | 51 |
ТОП-просмотров по странам
| Просмотров | |
|---|---|
| Соединенные Штаты | 73 |
| Канада | 36 |
| Беларусь | 21 |
| Китай | 14 |
| Россия | 10 |
| Япония | 9 |
| Австралия | 4 |
| Украина | 4 |
| Венесуэла | 3 |
| Индия | 2 |
ТОП-просмотров по городам
| Просмотров | |
|---|---|
| Houston | 45 |
| Ottawa | 36 |
| Tokyo | 9 |
| Mogilev | 7 |
| Caracas | 3 |
| Moscow | 3 |
| Sumy | 3 |
| Buffalo | 2 |
| Hefei | 2 |
| Seattle | 2 |