| Zugriffe | |
|---|---|
| Free Higher-Order Logic - Notion, Definition and Embedding in HOL | 274 |
| März 2025 | April 2025 | Mai 2025 | Juni 2025 | Juli 2025 | August 2025 | September 2025 | |
|---|---|---|---|---|---|---|---|
| Free Higher-Order Logic - Notion, Definition and Embedding in HOL | 9 | 16 | 7 | 7 | 13 | 8 | 0 |
| Zugriffe | |
|---|---|
| MA-Makarenko.pdf | 133 |
