借阅：0人 收藏：0人

/石纯一, 廖士中

ISBN/ISSN：7-302-05637-4

价格：CNY20.00

出版：北京 :清华大学出版社 ,2002

载体形态：Ⅺ, 197页 :图 ;26cm

丛编：中国计算机学会学术著作丛书

简介：本书详细而系统地介绍了定性推理的发展历史及当前的主要研究方向，讨论了写性推理的基本方法，阐述了有关定性代数等内容。

中图分类号：TP181

责任者：石纯一 著 廖士中 著

  • 评分：
  • 加入暂存架

豆瓣内容简介：

豆瓣作者简介：

馆藏部门 图书条码 索书号 登录号 架位导航 卷期 状态 异地预借
西土城：中心书库 21113001259272 TP181/S495 854948 架位导航 在架可借 异地预借
西土城：中心书库 21113001259271 TP181/S495 854949 架位导航 在架可借 异地预借
沙河：二层文献借阅区 21113001259273 TP181/S495 854947 架位导航 在架可借 异地预借
序号 图书条码 索书号 登录号 藏书部门 流通状态 年卷期 装订册 装订方式 装订颜色
    类型 说明 URL
    评 论
    评分：
    发表
    借阅关系图
    定性推理方法
    热门检索信息
    扫描图书信息

    使用支持文本扫描图片的手机应用（不支持微信）扫描二维码，便于查找书架！

    借阅趋势
    相关资源
    相关图书

    北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139

    欢迎第3119029位用户访问本系统