-
RecordNumber
2778
-
Title
Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop
-
SubTitle
Proceedings of a Workshop
-
Publication
National Academy of Sciences
-
Publication Year
2023
-
Collation
x, 54p.
-
ISBN
978-0-309-71025-1
-
Link To Document :