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 | 80 |
Wyświetlenia w miesiącu
| views | |
|---|---|
| November 2023 | 1 |
| December 2023 | 0 |
| January 2024 | 0 |
| February 2024 | 0 |
| March 2024 | 0 |
| April 2024 | 0 |
| May 2024 | 0 |
Pobrania
| views | |
|---|---|
| The_Gentzen_sequent_Niewiadomski_2010.pdf | 33 |
Wyświetlenia wg krajów
| views | |
|---|---|
| United States | 48 |
| Germany | 6 |
| Poland | 6 |
| Sweden | 6 |
| Ghana | 4 |
| Vietnam | 3 |
| Ireland | 2 |
| Iran | 2 |
| China | 1 |
| United Kingdom | 1 |
| South Korea | 1 |
Wyświetlenia wg miast
| views | |
|---|---|
| Des Moines | 12 |
| Gdańsk | 5 |
| Passau | 4 |
| Hanoi | 3 |
| Dublin | 2 |
| Ashburn | 1 |
| Edinburgh | 1 |
| Philadelphia | 1 |
| San Francisco | 1 |
| Shenyang | 1 |
| Toruń | 1 |