TY - BOOK AU - Gregory Michaelson. TI - Mathematical Reasoning: The History and Impact of the DReaM Group SN - 9783030778798 PY - 2021/// CY - Cham PB - Springer KW - Artificial intelligence. Reasoning. Computer science-Mathematics. Artificial Intelligence. Formal Reasoning. Mathematical Applications in Computer Science UR - https://doi.org/10.1007/978-3-030-77879-8 ER -