• 作者:刘叙华,姜云飞编著
  • ISBN:15031870
  • 出版社:科学出版社
  • ✅真实服务 非骗流量 ?(学习资料 勿作它用)
  • 求助格式:PDF(无水印/扫描版/高清/书签/目录 )?我要投诉
  • 重要说明:?求助即说明同意《文件求助条款》

定理机器证明是人工智能研究中一个非常活跃而又极其重要的领域,它的发展对专家系统、信息智能检索、智能机器人等人工智能其它领域都有深远的影响,本书主要介绍这一领域的理论基础及重要研究成果.书中首先介绍了命题逻辑与一阶逻辑,然后介绍了定理机器证明的归结方法及各种改进的方法、模糊逻辑和模

求助条款 还望您仔细阅读以下条款,继续浏览或使用服务表示其均得到您的认可:

➊️ 请支持正版图书。肯定和感激作者及出版商的社会贡献,以及国Jia在「教育公平」上作出的努力。
➋️ 站点不存储和发布任何版权资料,只在被访客要求雇佣后才会在其指示下处理要求的相关内容。
➌️ 向博主支付任何费用都意味着在访客的主观意识下雇佣博主,形成博主受雇于访客的劳务关系。
➍️ 只向有购买正版资料者并限于学习目的且不扩散者服务,雇佣即表示你认可和满足此要求。
➎ 雇方承诺不恶意雇佣博主从事违法行为(包括但不限于色情、反动等),否则雇方承担由此引发的后果。
➏️ 博主也不负责鉴别受雇内容之合法性(包括但不限于分裂、犯罪等), 雇方需自行鉴别和承担相关后果。
❼ 白天完成雇佣内容最迟不超过2小时,晚间最迟第二天12点前,对无法完成的雇佣要求会给予退款。
❽ 雇佣博主为您从事资料查取服务是收费的,其按照北京市最低工资标准时薪计算所得。
名词解释:雇方指访客、甲方(即花钱者、指使者),博主指受雇方、乙方(即被指使者)。
重要告示:有疑问或建议 请联系我!

联系信息 通过以下方式联系即即表示同意雇佣条款。

评论列表 共有 0 条评论

暂无评论
立即
投稿
发表
评论
返回
顶部