Qualitative–Quantitative Reasoning: Thinking Informally About Formal Things
Date first appeared online | 20/08/2021 |
DOI | 10.1007/978-3-030-85315-0_2 |
Authors | Dix A. |
Journal Name | Theoretical Aspects of Computing – ICTAC 2021 |
Volume |
Documents
- ICTCS-QQ-2021-keynote.pdf , Book