Sfoglia per Rivista
Integrated Deduction - Report from Dagstuhl Seminar 21371
2022-01-01 Bonacina, Maria Paola; Ruemmer, Philipp; Schmidt, Renate A.
The Next Generation of Deduction Systems: From Composition to Compositionality - Report from Dagstuhl Seminar 23471
2024-01-01 Bonacina, Maria Paola; Fontaine, Pascal; Nalon, Claudia; Schon, Claudia; Desharnais, Martin
A Topological Quantum Calculus
2015-01-01 DI PIERRO, Alessandra
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Integrated Deduction - Report from Dagstuhl Seminar 21371 | 1-gen-2022 | Bonacina, Maria Paola; Ruemmer, Philipp; Schmidt, Renate A. | |
The Next Generation of Deduction Systems: From Composition to Compositionality - Report from Dagstuhl Seminar 23471 | 1-gen-2024 | Bonacina, Maria Paola; Fontaine, Pascal; Nalon, Claudia; Schon, Claudia; Desharnais, Martin | |
A Topological Quantum Calculus | 1-gen-2015 | DI PIERRO, Alessandra |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile