Mathematical reasoning: the history and impact of the dream group
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030778811
Date de publication :
22 nov. 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
Mathematical Reasoning: The History and Impact of the DReaM Group will attract considerable interest from researchers and practitioners of Automated Reasoning, including postgraduates.