Logic for Applications, Anil Nerode and Richard A. Shore

已关闭

文献求助详情

标题	Logic for Applications, Anil Nerode and Richard A. Shore 应用逻辑，Anil Nerode和Richard A.Shore 相关领域数学
网址	https://doi.org/10.1023/a:1008263420991
DOI	10.1023/a:1008263420991 doi
其它	期刊：Journal of logic, language and information 作者：Wiebe van der Hoek 出版日期：1998-01-01
求助人	研友_enPzE8 在 2024-06-19 00:22:07 发布自北京，悬赏 10 积分
下载
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

求助 / 应助时间线

5个月前，求助关闭

研友_enPzE8 求助人 Lv5 关闭了本次求助。

说明我从其他地方再查查【积分已退回】
5个月前

研友_enPzE8 求助人 Lv5 驳回了科研通AI2.0 上传的文件

说明
只是review
5个月前

科研通AI2.0 机器人上传了文件

已驳回 20240619002212-ee3d89ad-426.pdf (14.35 KB)
5个月前

研友_enPzE8 求助人 Lv5 发起了本次求助

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

2024年影响因子查询已上线 (2024-6-20)

更新

大幅提高文件上传限制，最高150M (2024-4-1)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 科研通AI2S上传了应助文件

17秒前; 共享精神上传了应助文件

37秒前; 蔡俊辉发布了新的文献求助10

40秒前; 研友_VZG7GZ上传了应助文件

1分钟前; Eri_SCI完成签到，获得积分10

1分钟前; 今天又来搬砖啦发布了新的文献求助10

1分钟前; 8R60d8的应助被付怀松采纳，获得10

1分钟前; mzhang2完成签到，获得积分10

2分钟前; zai完成签到，获得积分10

3分钟前; 搜集达人上传了应助文件

3分钟前; hugeyoung发布了新的文献求助10

3分钟前; hugeyoung完成签到，获得积分10

3分钟前; 红箭烟雨完成签到，获得积分10

3分钟前; CipherSage上传了应助文件

4分钟前; wy发布了新的文献求助10

4分钟前; 脑洞疼的应助被qdlsc采纳，获得10

4分钟前; 脑洞疼上传了应助文件

4分钟前; wy完成签到，获得积分10

4分钟前; qdlsc发布了新的文献求助10

4分钟前; 小白完成签到，获得积分10

4分钟前; 科研通AI2S上传了应助文件

6分钟前; 沙海沉戈完成签到，获得积分0

7分钟前; 科研通AI2.0上传了应助文件

7分钟前; Kumquat发布了新的文献求助10

7分钟前; 淡然平蓝完成签到，获得积分10

9分钟前; 淡然平蓝发布了新的文献求助10

9分钟前; Kumquat完成签到，获得积分10

10分钟前; 光亮又晴完成签到，获得积分10

10分钟前; wenbinvan完成签到，获得积分0

10分钟前; woxinyouyou完成签到，获得积分0

12分钟前; 7788完成签到，获得积分10

13分钟前; Kevin完成签到，获得积分10

13分钟前; 可爱的函函的应助被枯藤老柳树采纳，获得10

13分钟前; 微卫星不稳定完成签到，获得积分0

13分钟前; 嬗变的天秤完成签到，获得积分10

14分钟前; 可爱的函函上传了应助文件

14分钟前; 枯藤老柳树发布了新的文献求助10

14分钟前; 枯藤老柳树完成签到，获得积分10

14分钟前; 研友_nxw2xL完成签到，获得积分10

14分钟前; muriel完成签到，获得积分10

14分钟前