RATHJEN, MICHAEL
RATHJEN, MICHAEL
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.001 secondi).
Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
---|---|---|---|---|---|
INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH’S THESIS AND THE AXIOM OF CHOICE | 2022 | Maietti M. E.Maschio S.Rathjen M. | LOGICAL METHODS IN COMPUTER SCIENCE | - | - |