000 00544nam a2200133Ia 4500
008 2212144s2021 xx 000 0 und d
020 _a9783030778798
041 _aeng
100 _aGregory Michaelson.
245 _aMathematical Reasoning: The History and Impact of the DReaM Group
260 _aCham
_bSpringer
_c2021
650 _aArtificial intelligence. Reasoning. Computer science-Mathematics. Artificial Intelligence. Formal Reasoning. Mathematical Applications in Computer Science.
856 _uhttps://doi.org/10.1007/978-3-030-77879-8
999 _c89224
_d89224