Statystyki dla The Gentzen sequent calculus in e-testing. Pt. 2: Algorithms and implementation
Wyświetlnia ogółem
| views | |
|---|---|
| The Gentzen sequent calculus in e-testing. Pt. 2: Algorithms and implementation | 76 |
Wyświetlenia w miesiącu
| views | |
|---|---|
| October 2024 | 0 |
| November 2024 | 0 |
| December 2024 | 0 |
| January 2025 | 0 |
| February 2025 | 0 |
| March 2025 | 0 |
| April 2025 | 0 |
Pobrania
| views | |
|---|---|
| The_Gentzen_sequent_Niewiadomski_2010.pdf | 53 |
| The_Gentzen_sequent_Niewiadomski_2010.pdf(legacy) | 35 |
Wyświetlenia wg krajów
| views | |
|---|---|
| United States | 47 |
| Russia | 12 |
| United Kingdom | 10 |
| Germany | 8 |
| Poland | 8 |
| Sweden | 6 |
| Ghana | 4 |
| Vietnam | 3 |
| China | 2 |
| Iran | 2 |
| France | 1 |
| Ireland | 1 |
| South Korea | 1 |
| Malaysia | 1 |
Wyświetlenia wg miast
| views | |
|---|---|
| Saint Petersburg | 12 |
| Des Moines | 10 |
| Southend | 9 |
| Gdańsk | 5 |
| Passau | 4 |
| Hanoi | 3 |
| Ashburn | 2 |
| Warsaw | 2 |
| Absecon | 1 |
| Dublin | 1 |
| Edinburgh | 1 |
| Philadelphia | 1 |
| San Francisco | 1 |
| Seremban | 1 |
| Shenyang | 1 |
| Shenzhen | 1 |
| Toruń | 1 |