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

24小时热门版块排行榜    

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

mgfchy

金虫 (正式写手)

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

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

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

ontology

★
小木虫(金币+0.5):给个红包，谢谢回帖交流
assssssssssssssssssssss
赞一下(1人) 回复此楼
5楼2009-08-30 14:10:37
已阅   回复此楼   关注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的回帖

happystarry

铜虫 (初入文坛)
好东西~~~~，明早起来下
赞一下 回复此楼
4楼2009-08-30 09:01:45
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 9 个回答
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 2026国自然放榜时间 +9 布布和一二 2026-08-08 9/450 2026-08-10 11:22 by xxxx2020
[基金申请] 这样的filecode谁见过 +11 布布和一二 2026-08-08 22/1100 2026-08-10 11:10 by wmfsnow
[基金申请] 综述论文作为代表作会不会影响评审专家的印象分？ +7 yufeiwaner 2026-08-09 7/350 2026-08-10 09:08 by zju2000
[基金申请] 面上项目filecode邪修 +5 西山十月 2026-08-09 7/350 2026-08-10 07:32 by 仁砚薪传
[基金申请] 关于代码变化问题，想知道的进来 +15 且听虎啸 2026-08-07 22/1100 2026-08-09 22:13 by 布布和一二
[基金申请] fileCode有新解读？ +10 Tide man 2026-08-08 18/900 2026-08-09 12:55 by 仁砚薪传
[考博] 【2027博士申请】纳米药物递送方向 20+3 13586093586 2026-08-03 5/250 2026-08-08 21:54 by 13586093586
[基金申请] 关于豆爷回答的JTJC与%2F数量 +5 yang182083 2026-08-06 7/350 2026-08-08 18:29 by zhanghaozhu
[基金申请] 国基金的申报应该改成非等额制，评价高的钱多评价低的钱少，但是增加资助率 +7 a089 2026-08-07 7/350 2026-08-08 18:05 by gltch
[基金申请] 好奇怪的filecode +3 布布和一二 2026-08-08 4/200 2026-08-08 17:46 by zhanghaozhu
[基金申请] 基金中了 +14 laoda193707 2026-08-06 14/700 2026-08-08 00:23 by 实验小白ha
[基金申请] 固定端突然变了，今天 +6 archvillain 2026-08-06 10/500 2026-08-07 16:03 by 医学老男孩
[基金申请] 听说今天filecode变了 +24 布布和一二 2026-08-06 47/2350 2026-08-07 16:02 by zhiyanjiang
[基金申请] filecode变化情况 +6 布布和一二 2026-08-07 22/1100 2026-08-07 14:45 by 且听虎啸
[基金申请] 大家散了吧，后缀研究没有意义，别浪费时间了，过好目前的每一天，不要焦虑 +5 Tide man 2026-08-06 7/350 2026-08-07 13:11 by 医学老男孩
[基金申请] filecode +14 等待解的谜 2026-08-06 19/950 2026-08-07 12:20 by wlwhappy
[基金申请] filecode +8 布布和一二 2026-08-06 11/550 2026-08-06 20:41 by tangpu318
[基金申请] 8月时间戳变的，举个手。玩一下，释放压力 +9 archvillain 2026-08-04 11/550 2026-08-05 20:06 by wlwhappy
[基金申请] 有没有H口的？有收到消息的吗？ +3 超级海虾 2026-08-04 3/150 2026-08-04 17:26 by 学教育滴
[基金申请] 什么时候能放榜呀？ +3 Jacob678 2026-08-03 3/150 2026-08-03 16:14 by gltch
信息提示
关闭
请填处理意见
关闭