| Zugriffe | |
|---|---|
| Automated theorem proving for dependent typed theories via a translation to higher-order logic | 502 |
| Oktober 2024 | November 2024 | Dezember 2024 | Januar 2025 | Februar 2025 | März 2025 | April 2025 | |
|---|---|---|---|---|---|---|---|
| Automated theorem proving for dependent typed theories via a translation to higher-order logic | 21 | 39 | 19 | 25 | 34 | 22 | 7 |
| Zugriffe | |
|---|---|
| Master Thesis - Colin Rothgang.pdf | 57 |
