楼主: wxwpxh
649 1

Reductive Logic and Proof-search [推广有奖]

  • 4关注
  • 10粉丝

院士

95%

还不是VIP/贵宾

-

0%
威望
1 级
论坛币
1682796 个
通用积分
5230.5953
学术水平
148 点
热心指数
296 点
信用等级
21 点
经验
61372 点
帖子
1944
精华
0
在线时间
3181 小时
注册时间
2010-1-6
最后登录
2024-5-24
楼主
wxwpxh 在职认证  发表于 2022-11-14 22:17:43 |只看作者 |坛友微信交流群|倒序 |AI写论文
相似文件 换一批

+2 论坛币
k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群
赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币
Reductive Logic and Proof-search


作者: David J. Pym / Eike Ritter
出版社: Clarendon Press
副标题: Proof Theory, Semantics, and Control
出版年: 2004-6-17
页数: 232
定价: USD 180.00
装帧: Hardcover
ISBN: 97801985263







二维码

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0
关键词：search Logic ARCH CTI ear

相关帖子

ReductiveLogicandProof-searchProofTheory,Semantics,andControl(OxfordLogicGuides,45).pdf

4.91 MB

需要: 10 个论坛币  [购买]

Reductive Logic and Proof-search

使用道具

沙发
三重虫 发表于 2023-2-19 12:23:12 |只看作者 |坛友微信交流群
感谢分享！

使用道具

返回列表
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 我要注册

本版微信群
加JingGuanBbs
拉您进交流群
  • 手机版  |
  • 意见反馈  |
  • 帮助  |
  • 新手入门  |
  • 用户手册  |
  • 友情链接  |

    • 如有投资本站、合作意向或投放广告，请联系：13661292478（刘老师）

    联系客服

    邮箱：service@pinggu.org 投诉或不良信息处理：（010-68466864）

    010-68466864

    京ICP备16021002-2号 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问：王进律师 知识产权保护声明   免责及隐私声明

    GMT+8, 2024-5-24 16:05