Gregory Michaelson. <br/><br/>
Mathematical Reasoning: The History and Impact of the DReaM Group 

 - Cham  Springer  2021 
<br/><br/><label>ISBN: </label>9783030778798 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence. Reasoning. Computer science-Mathematics. Artificial Intelligence. Formal Reasoning. Mathematical Applications in Computer Science.