| Zugriffe | |
|---|---|
| Automated theorem proving for dependent typed theories via a translation to higher-order logic | 372 |
| Mai 2024 | Juni 2024 | Juli 2024 | August 2024 | September 2024 | Oktober 2024 | November 2024 | |
|---|---|---|---|---|---|---|---|
| Automated theorem proving for dependent typed theories via a translation to higher-order logic | 0 | 0 | 0 | 49 | 286 | 21 | 16 |
| Zugriffe | |
|---|---|
| Master Thesis - Colin Rothgang.pdf | 26 |
