中图网(原中国图书网)：网上书店，尾货特色书店，30万种特价书低至2折！

歡迎光臨中圖網 請 | 注冊
> >>
面向計算機科學的數理邏輯系統建模與推理

包郵 面向計算機科學的數理邏輯系統建模與推理

出版社：機械工業出版社出版時間：2019-09-02
開本： 16開 頁數： 277
本類榜單：自然科學銷量榜
中 圖 價:¥31.0(3.9折) 定價  ¥79.0 登錄后可看到會員價
加入購物車 收藏
開年大促， 全場包郵
?新疆、西藏除外
溫馨提示：5折以下圖書主要為出版社尾貨，大部分為全新（有塑封/無塑封），個別圖書品相8-9成新、切口
有劃線標記、光盤等附件不全詳細品相說明>>
本類五星書更多>

面向計算機科學的數理邏輯系統建模與推理 版權信息

  • ISBN：9787111213970
  • 條形碼：9787111213970 ; 978-7-111-21397-0
  • 裝幀：一般膠版紙
  • 冊數：暫無
  • 重量：暫無
  • 所屬分類：>>

面向計算機科學的數理邏輯系統建模與推理 內容簡介

本書對計算機科學方面的數理邏輯進行了綜合介紹，涵蓋命題邏輯、謂詞邏輯、模態邏輯與代理、二叉判定圖、模型檢測和程序驗證等內容。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網
在線客服
主站蜘蛛池模板： PC阳光板-PC耐力板-阳光板雨棚-耐力板雨棚,厂家定制[优尼科板材] | 健身器材-健身器材厂家专卖-上海七诚健身器材有限公司 | 武汉高低温试验机-现货恒温恒湿试验箱-高低温湿热交变箱价格-湖北高天试验设备 | 首页-恒温恒湿试验箱_恒温恒湿箱_高低温试验箱_高低温交变湿热试验箱_苏州正合 | 船用锚链|专业锚链生产厂家|安徽亚太锚链制造有限公司 | 纸布|钩编布|钩针布|纸草布-莱州佳源工艺纸布厂 | 英国公司注册-新加坡公司注册-香港公司开户-离岸公司账户-杭州商标注册-杭州优创企业 | 座椅式升降机_无障碍升降平台_残疾人升降平台-南京明顺机械设备有限公司 | 东莞猎头公司_深圳猎头公司_广州猎头公司-广东万诚猎头提供企业中高端人才招聘服务 | 分子精馏/精馏设备生产厂家-分子蒸馏工艺实验-新诺舜尧（天津）化工设备有限公司 | 哲力实业_专注汽车涂料汽车漆研发生产_汽车漆|修补油漆品牌厂家 长沙一级消防工程公司_智能化弱电_机电安装_亮化工程专业施工承包_湖南公共安全工程有限公司 | 【同风运车官网】一站式汽车托运服务平台,验车满意再付款 | 扒渣机厂家_扒渣机价格_矿用扒渣机_铣挖机_撬毛台车_襄阳永力通扒渣机公司 | TTCMS自助建站_网站建设_自助建站_免费网站_免费建站_天天向上旗下品牌 | 陶瓷加热器,履带式加热器-吴江市兴达电热设备厂 | 彼得逊采泥器-定深式采泥器-电动土壤采样器-土壤样品风干机-常州索奥仪器制造有限公司 | 东莞注册公司-代办营业执照-东莞公司注册代理记账-极刻财税 | 红酒招商加盟-葡萄酒加盟-进口红酒代理-青岛枞木酒业有限公司 | 辽宁资质代办_辽宁建筑资质办理_辽宁建筑资质延期升级_辽宁中杭资质代办 | 本安接线盒-本安电路用接线盒-本安分线盒-矿用电话接线盒-JHH生产厂家-宁波龙亿电子科技有限公司 | 标准品网_标准品信息网_【中检计量】 | 上海防爆真空干燥箱-上海防爆冷库-上海防爆冷柜?-上海浦下防爆设备厂家? | 超声波反应釜【百科】-以马内利仪器| 耐磨陶瓷,耐磨陶瓷管道_厂家-淄博拓创陶瓷科技 | 碳化硅,氮化硅,冰晶石，绢云母，氟化铝，白刚玉,棕刚玉，石墨,铝粉,铁粉,金属硅粉,金属铝粉,氧化铝粉,硅微粉,蓝晶石,红柱石,莫来石,粉煤灰,三聚磷酸钠,六偏磷酸钠,硫酸镁-皓泉新材料 | 上海阳光泵业制造有限公司 -【官方网站】 | 【365公司转让网】公司求购|转让|资质买卖_股权转让交易平台 | 东莞精密模具加工,精密连接器模具零件,自動機零件，冶工具加工-益久精密 | 便携式表面粗糙度仪-彩屏硬度计-分体式粗糙度仪-北京凯达科仪科技有限公司 | 微波萃取合成仪-电热消解器价格-北京安合美诚科学仪器有限公司 | 威廉希尔WilliamHill·足球(中国)体育官方网站 | 淄博不锈钢,淄博不锈钢管,淄博不锈钢板-山东振远合金科技有限公司 | 洗地机_全自动洗地机_手推式洗地机【上海滢皓环保】 | 酒精检测棒,数显温湿度计,酒安酒精测试仪,酒精检测仪,呼气式酒精检测仪-郑州欧诺仪器有限公司 | 中央空调温控器_风机盘管温控器_智能_液晶_三速开关面板-中央空调温控器厂家 | 英超直播_英超免费在线高清直播_英超视频在线观看无插件-24直播网 | 石磨面粉机|石磨面粉机械|石磨面粉机组|石磨面粉成套设备-河南成立粮油机械有限公司 | ptc_浴霸_大巴_干衣机_呼吸机_毛巾架_电动车加热器-上海帕克 | 带压开孔_带压堵漏_带压封堵-菏泽金升管道工程有限公司 | 生鲜配送系统-蔬菜食材配送管理系统-连锁餐饮订货配送软件-挪挪生鲜供应链管理软件 | 小区健身器材_户外健身器材_室外健身器材_公园健身路径-沧州浩然体育器材有限公司 |