首页 所有分类 书籍/杂志/报纸 程序设计（新） 商品详情
基于时序逻辑 Resolution自动定理证明方法
基于时序逻辑 Resolution自动定理证明方法
所 在 地：北京 累计销量：0 件
店铺掌柜：  当当网官方旗舰店 
商品标签：
￥27.5 ￥41.75
立即购买
商品详情
    • 猜你喜欢
    2025新版 Scratch编程入门零基础自学书籍Scratch3.0少儿编程书小学生计算机趣味编程从入门到精通课程儿童编程软件教材程序设计

    2025新版 Scratch编程入门零基础自学书籍Scratch3.0少儿编程书小学生计算机趣味编程从入门到精通课程儿童编程软件教材程序设计

    折后价 ￥ 39.5
    已售 2000+
    计算机电脑语言程序爬虫设计入门自学零基础教程全套书籍 python编程从入门到实战基础实践教程书 Python编程从入门到精通 2025新版

    计算机电脑语言程序爬虫设计入门自学零基础教程全套书籍 python编程从入门到实战基础实践教程书 Python编程从入门到精通 2025新版

    折后价 ￥ 37.81
    已售 5000+
    c语言从入门到精通 C十十 电脑编程游戏书 c教学计算机教程书籍学生 编程入门自学 零基础程序设计 plus 全新升级版 primer

    c语言从入门到精通 C十十 电脑编程游戏书 c教学计算机教程书籍学生 编程入门自学 零基础程序设计 plus 全新升级版 primer

    折后价 ￥ 34.9
    已售 4000+
    C语言从入门到精通第六版 明日科技 plus 官方正版 计算机c语言入门零基础教程程序设计自学软件开发书 primer 新书 清华大学

    C语言从入门到精通第六版 明日科技 plus 官方正版 计算机c语言入门零基础教程程序设计自学软件开发书 primer 新书 清华大学

    折后价 ￥ 56.9
    已售 1000+
    Python从入门到精通第三版 新书 明日科技 清华大学 大全网络数据采集分析与实现书籍 计算机语言程序设计开发爬虫代码 官方正版

    Python从入门到精通第三版 新书 明日科技 清华大学 大全网络数据采集分析与实现书籍 计算机语言程序设计开发爬虫代码 官方正版

    折后价 ￥ 56.9
    已售 1000+
    primer c程序设计语言书电脑编程书籍入门零基础自学c plus计算机软件程序员开发教程教材书 2025新版 C语言从入门到精通

    primer c程序设计语言书电脑编程书籍入门零基础自学c plus计算机软件程序员开发教程教材书 2025新版 C语言从入门到精通

    折后价 ￥ 37.81
    已售 2000+
    新C语言程序设计Python编程入门零基础自学从入门到精通JavaC电脑核心C代码 爬虫视频课程计算机程序员编写

    新C语言程序设计Python编程入门零基础自学从入门到精通JavaC电脑核心C代码 爬虫视频课程计算机程序员编写

    折后价 ￥ 12.8
    已售 400+
    附赠AI教程 Python编程从0到1入门到实战精通python教程自学全套书籍零基础自学少儿电脑书计算机程序设计语言课程小白 2025新版

    附赠AI教程 Python编程从0到1入门到实战精通python教程自学全套书籍零基础自学少儿电脑书计算机程序设计语言课程小白 2025新版

    折后价 ￥ 31
    已售 4000+
    全新改版 c语言入门 挑战 c语言程序设计 啊哈磊 啊哈c语言 用编程轻松提升逻辑力 啊哈c思考快你一步 修订版 逻辑 啊哈C语言

    全新改版 c语言入门 挑战 c语言程序设计 啊哈磊 啊哈c语言 用编程轻松提升逻辑力 啊哈c思考快你一步 修订版 逻辑 啊哈C语言

    折后价 ￥ 22.5
    已售 800+
    官方正版 清华大学出版 新书 明日科技 社java语言程序设计计算机电脑基础编程教程零基础自学全套书籍 Java从入门到精通第7版

    官方正版 清华大学出版 新书 明日科技 社java语言程序设计计算机电脑基础编程教程零基础自学全套书籍 Java从入门到精通第7版

    折后价 ￥ 56.9
    已售 1000+
    程序设计第4版 谭浩强 社C 新书 清华大学出版 语言程序设计高等学校教材计算机编程零基础从入门到精通教程图书籍 官方正版

    程序设计第4版 谭浩强 社C 新书 清华大学出版 语言程序设计高等学校教材计算机编程零基础从入门到精通教程图书籍 官方正版

    折后价 ￥ 69.9
    已售 500+
    新版 python编程从入门到精通计算机零基础自学全套python零基础从入门到实战编程语言程序爬虫精通教程程序设计开发书籍

    新版 python编程从入门到精通计算机零基础自学全套python零基础从入门到实战编程语言程序爬虫精通教程程序设计开发书籍

    折后价 ￥ 15.8
    已售 1000+
    从入门到精通 社 官方正版 C语言—程序设计 清华大学出版 新书 明日科技 第7版

    从入门到精通 社 官方正版 C语言—程序设计 清华大学出版 新书 明日科技 第7版

    折后价 ￥ 74.85
    已售 1000+
    算法竞赛入门经典 第2版 程序设计入门与提高 官方正版 算法艺术与信息学竞赛适合语言零基书籍 清华大学出版 新书 刘汝佳 第二版

    算法竞赛入门经典 第2版 程序设计入门与提高 官方正版 算法艺术与信息学竞赛适合语言零基书籍 清华大学出版 新书 刘汝佳 第二版

    折后价 ￥ 60.32
    已售 600+
    典藏版 程序设计C语言入门编程代码 程序员基础书籍 C程序设计语言 社正版 .新版 计算机科学丛书黑皮书机械工业出版 书籍 原书第2版

    典藏版 程序设计C语言入门编程代码 程序员基础书籍 C程序设计语言 社正版 .新版 计算机科学丛书黑皮书机械工业出版 书籍 原书第2版

    折后价 ￥ 34.5
    已售 600+
    电脑版 手机版 网站地图 最新商品 热门搜索 Sitemap
    本站产品信息来源各大电商平台，信息仅供展示及参考。如有侵权、错误信息或任何问题，请及时联系我们，我们将在第一时间删除或更正。
    Copyright © 2025 多奥淘宝客程序 版权所有 鲁ICP备000000000号-1