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