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  -