第一次Dartmouth会议,Simon和Newell的Logic Theorist就证明了数学原理52个定理中的38个

来源: 2025-09-29 19:08:50 [旧帖] [给我悄悄话] 本文已被阅读: