应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 信息科学 » 人工智能 » 【求助】谁有面向计算机科学的数理逻辑系统建模与推理这本书的答案？
51/1返回列表
查看: 1123  |  回复: 8
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
当前主题已经存档。
当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

mgfchy

金虫 (正式写手)

[交流] 【求助】谁有面向计算机科学的数理逻辑系统建模与推理这本书的答案？

如题。
如有共享，提供金币20个，谢谢。
回复此楼

» 猜你喜欢
1楼 2009-08-26 16:07:23
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

happystarry

铜虫 (初入文坛)
好东西~~~~，明早起来下
赞一下 回复此楼
4楼2009-08-30 09:01:45
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 9 个回答

bslt

金虫 (著名写手)

--<-<-<@
★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
小木虫(金币+0.5):给个红包，谢谢回帖交流
mgfchy(金币+10,VIP+0):非常感谢 8-29 07:29
ljl1205(金币+2,VIP+0):鼓励分享 10-21 12:11
看看下面的附件是不是您需要的！

英文版原著 及 答案 共3个压缩分卷

金币就免了哈

[ Last edited by bslt on 2009-8-26 at 23:37 ]
赞一下(13人) 回复此楼
别迷恋哥，哥不只是个传说...
2楼2009-08-26 23:35:56
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

mgfchy

金虫 (正式写手)

感谢

引用回帖:
Originally posted by bslt at 2009-8-26 23:35:
看看下面的附件是不是您需要的！

英文版原著 及 答案 共3个压缩分卷

金币就免了哈

[ Last edited by bslt on 2009-8-26 at 23:37 ]

是我需要的，非常感谢！
赞一下 回复此楼
3楼2009-08-29 07:27:49
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

ontology

★
小木虫(金币+0.5):给个红包，谢谢回帖交流
assssssssssssssssssssss
赞一下(1人) 回复此楼
5楼2009-08-30 14:10:37
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 9 个回答
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] FileCode能看出啥？ +7 要乐观耀哥 2026-08-10 15/750 2026-08-10 19:29 by 要乐观耀哥
[基金申请] 帮忙看看fileCode +3 wwncly 2026-08-10 5/250 2026-08-10 19:06 by 2000zf36392
[基金申请] 综述论文作为代表作会不会影响评审专家的印象分？ +10 yufeiwaner 2026-08-09 11/550 2026-08-10 18:47 by yufeiwaner
[基金申请] 关于代码变化问题，想知道的进来 +17 且听虎啸 2026-08-07 24/1200 2026-08-10 18:35 by zhangduo2008
[基金申请] 为什么网上很多人说本周 12号出结果 +3 瞬息宇宙 2026-08-10 3/150 2026-08-10 18:27 by Tide man
[基金申请] 静等基金结果 +5 gjjjzhong 2026-08-10 16/800 2026-08-10 17:19 by Tide man
[基金申请] 我的国基提前知道中了，可是同事的操作让我实在接受不了，怎么会有这样的人 +8 家与远方 2026-08-10 11/550 2026-08-10 17:09 by 六两废铜
[基金申请] 国自然结果 +4 Vierhys 2026-08-10 8/400 2026-08-10 15:06 by Vierhys
[基金申请] 8月时间戳变的，举个手。玩一下，释放压力 +11 archvillain 2026-08-04 13/650 2026-08-10 14:41 by seekfind
[基金申请] 据悉今年马上要出结果了 +7 瞬息宇宙 2026-08-10 8/400 2026-08-10 12:42 by Vivilian
[基金申请] 2026国自然放榜时间 +9 布布和一二 2026-08-08 9/450 2026-08-10 11:22 by xxxx2020
[基金申请] fileCode有新解读？ +10 Tide man 2026-08-08 18/900 2026-08-09 12:55 by 仁砚薪传
[基金申请] 关于filecode，很负责任的告诉大家 +6 爱看书的可乐 2026-08-08 7/350 2026-08-08 22:13 by a_niu
[基金申请] 关于豆爷回答的JTJC与%2F数量 +5 yang182083 2026-08-06 7/350 2026-08-08 18:29 by zhanghaozhu
[基金申请] 娱乐 +6 Tide man 2026-08-03 6/300 2026-08-07 22:40 by 铁帽子农民
[基金申请] 听说今天filecode变了 +24 布布和一二 2026-08-06 47/2350 2026-08-07 16:02 by zhiyanjiang
[基金申请] 大家散了吧，后缀研究没有意义，别浪费时间了，过好目前的每一天，不要焦虑 +5 Tide man 2026-08-06 7/350 2026-08-07 13:11 by 医学老男孩
[基金申请] 求各位大神看下 100+6 hpkpkpkp 2026-08-05 33/1650 2026-08-06 14:49 by zhiyanjiang
[基金申请] 好消息？这个有何含义？？？ +8 Tide man 2026-08-05 10/500 2026-08-05 16:14 by xmuxiaoyu
[基金申请] 纯娱乐，不喜欢勿喷 +7 Tide man 2026-08-04 10/500 2026-08-04 15:10 by loufangrui
信息提示
关闭
请填处理意见
关闭