Statistics
Total Visits
Views | |
---|---|
Об автоматическом доказательстве правильности программ в системе функционального программирования | 148 |
Total Visits per Month
April 2025 | May 2025 | June 2025 | July 2025 | August 2025 | September 2025 | October 2025 | |
---|---|---|---|---|---|---|---|
Об автоматическом доказательстве правильности программ в системе функционального программирования | 5 | 1 | 10 | 2 | 5 | 50 | 6 |
File Downloads
Views | |
---|---|
31-34.pdf | 37 |
Top Country Views
Views | |
---|---|
United States | 71 |
Canada | 22 |
Belarus | 16 |
China | 12 |
Japan | 6 |
Australia | 4 |
Russia | 4 |
Ukraine | 4 |
India | 2 |
Bangladesh | 1 |
Top City Views
Views | |
---|---|
Houston | 45 |
Ottawa | 22 |
Tokyo | 6 |
Mogilev | 3 |
Sumy | 3 |
Buffalo | 2 |
Hefei | 2 |
Seattle | 2 |
Andover | 1 |
Ashburn | 1 |