| Zugriffe | |
|---|---|
| Automated theorem proving for dependent typed theories via a translation to higher-order logic | 583 |
| März 2025 | April 2025 | Mai 2025 | Juni 2025 | Juli 2025 | August 2025 | September 2025 | |
|---|---|---|---|---|---|---|---|
| Automated theorem proving for dependent typed theories via a translation to higher-order logic | 22 | 11 | 5 | 16 | 26 | 23 | 7 |
| Zugriffe | |
|---|---|
| Master Thesis - Colin Rothgang.pdf | 83 |
