Artificial intelligence to assist mathematical reasoning: proceedings of a workshop
Auteur :
National Academies of Sciences, Engineering, and Medicine / Division on Engineering and Physical Sciences / Board on Mathematical Sciences and Analytics
Éditeur :
National Academies Press
ISBN :
9780309710251
Date de publication :
10 nov. 2023
Dimensions :
22,9 x 15,2 cm
Langue :
Anglais
Pays d'origine :
USA