大约有70,000项符合查询结果项。（搜索耗时：0.1484秒）
为您推荐：
几何定理机器证明的案例
几何定理的机械化证明
几何最著名24个定理证明及应用
拉克洛瓦 韦达定理 证明方法
交互式定理证明与程序开发
几何证明
-
（日）森村诚一著；徐京宁等译2003 年出版317 页ISBN：7501428026
本书为日本现代长篇推理小说。
-
（日）森村诚一著；何培忠等译2003 年出版369 页ISBN：7501428018
本书为日本现代长篇推理小说。
-
（日本）森村诚一著；朱金和，孙猛译1981 年出版384 页ISBN：10100·467
-
周佩红著1996 年出版229 页ISBN：7532113086
-
（日）森村诚一著；田力译1985 年出版314 页ISBN：10326·82
-
（日）森村诚一著；何培忠等译2002 年出版421 页ISBN：7501425981
-
（日）森村诚一著；何培忠等译1998 年出版387 页ISBN：7805646864
证明三部曲之一。
-
（日）松本清张著；李重民等译2002 年出版259 页ISBN：7806078975
本书包括“古币的证明”、“证人和凶犯的错位”、“逍遥法外20年的罪犯”、“传法侦探”等10篇小说。
-
祖慰著1984 年出版315 页ISBN：10094·529
-
（日）森村诚一著；刘多田译1985 年出版320 页ISBN：10067·378
