Modal logic for induction
Autor: | Giulio, Fellin, Negri, Sara, Peter, Schuster |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2020 |
Databáze: | OpenAIRE |
Externí odkaz: |
Autor: | Giulio, Fellin, Negri, Sara, Peter, Schuster |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2020 |
Databáze: | OpenAIRE |
Externí odkaz: |