Gregory Michaelson.
Mathematical Reasoning: The History and Impact of the DReaM Group
- Cham Springer 2021
9783030778798
Artificial intelligence. Reasoning. Computer science-Mathematics. Artificial Intelligence. Formal Reasoning. Mathematical Applications in Computer Science.