ISBN/价格: | 7-5357-2858-8:CNY15.00 |
---|---|
作品语种: | chi |
出版国别: | CN 430100 |
题名责任者项: | 王者之路/.吴文俊主编 |
出版发行项: | 长沙:,湖南科学技术出版社:,1999.12 |
载体形态项: | [16], 195页:;+图:;+20cm |
丛编项: | 攀登计划普及丛书 |
相关题名附注: | 封面英文并列题名:Theorem proving by machine and its application |
提要文摘: | 本书是一部介绍并研究机器证明及其应用问题的专著,内容包括:古老的追求、惊人的突破、计算机科学中的应用等。 |
并列题名: | Theorem proving by machine and its application eng |
题名主题: | 机器证明 |
索书号: | TP18/W74 |
中图分类: | TP18 |
个人名称等同: | 吴文俊 主编 |
记录来源: | CN XHSD 20050308 |
记录来源: | CN 20050322 |