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.