Número de Cutter-SanbornN277aEntrada «Nati» → 277 · marca de obra “a”

Artificial Intelligence to Assist Mathematical Reasoning

Name: Artificial Intelligence to Assist Mathematical Reasoning
ISBN: 9780309710282

Proceedings of a Workshop

Autor	National Academies of Sciences, Engineering, and Medicine, Division on Engineering and Physical Sciences, Board on Mathematical Sciences and Analytics, Samantha Koretsky

Artificial Intelligence to Assist Mathematical Reasoning (2023) — ISBN 9780309710282 | Cutter Number