网上购物 货比三家
女用仿真 戏曲 惠氏 复印机 牛仔裤 等离子电视 明治 国产表店 数码伴侣 男根套环 充气娃娃 女鞋 电影/戏剧 电池/充电器 扫描仪/扫描枪 液晶电视

全部商品分类

热搜：
保湿加湿器诺基亚
您现在的位置：快乐比价网 > 图书 > 教育/科技 > 科学与研究 > 商品详情

Theorem Proving in Higher Order Logics

分享到：
Theorem Proving in Higher Order Logics

最 低 价：￥996.00

定 价：￥996.00

作 者：Yves Bertot 著

出 版 社：Springer-Verlag New York, LLC

出版时间：1999 年9月

I S B N：9783540664635

  • 价格比较
  • 商品详情
  • 商品评论(0条)
  • Theorem Proving in Higher Order Logics
  • 送货上门
    • 价格
    996.00元

    商品详情

    编辑推荐

    内容简介

    作者简介

    目录

    商品评论（0条）

    暂无评论！

    相关新品推荐

    浏览更多同类商品

    您的浏览历史

    loading 内容加载中，请稍后...
    免责声明:

    本网站为购物搜索引擎,只提供各网站商品及服务信息链接,以商家实际信息为准!

    关于比价网 | 合作网站 | 免责声明 | 联系我们 (京ICP备13007221号-2)
    © 2008-2012 Bijia123.cn. All rights reserved.