Transferring Arithmetic Decision Procedures (on Z) to Alternative Representations

求助中

文献求助详情

标题	Transferring Arithmetic Decision Procedures (on Z) to Alternative Representations 相关领域算术计算机科学传输（计算）理论计算机科学程序设计语言数学并行计算
网址	https://inria.hal.science/hal-01518660 AI链接 inria.hal.science inria.hal.science inria.fr inria.frdoi.org
DOI	10.1145/nnnnnnn.nnnnnnn doi
其它	期刊：作者：Nicolas Magaud 出版日期：2017-01-21
求助人	1111zzzw 在 2025-10-26 13:29:57 发布自美国，悬赏 10 积分
下载	暂无链接，等待应助者上传
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

提交工单

求助 / 应助时间线

现在，等待您上传文献

对不起，您需要登录才可以上传文件。
进入登录页面
1天前

科研通AI2.0 机器人未找到该文献，机器人已退出，请等待人工下载

13:30:01 未找到该文献，机器人已退出，请等待人工下载

13:29:59 科研通AI机器人（英国伦敦）收到请求，开始寻找文献

13:29:57 已向机器人发送请求
1天前

1111zzzw Lv1 求助人发起了本次求助

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

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

更新

2025年影响因子查询已上线 (2025-6-18)

更新

PDF的下载单位、IP信息已删除 (2025-6-4)

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

实时播报: 昌莆完成签到，获得积分10

1秒前; cy0824完成签到，获得积分10

5秒前; 第三人称的自己完成签到，获得积分10

9秒前; 磊少完成签到，获得积分10

20秒前; jjx1005完成签到，获得积分10

28秒前; 美好的麦片完成签到，获得积分10

31秒前; Criminology34发布了新的文献求助200

32秒前; 章传奇完成签到，获得积分10

38秒前; 所所上传了应助文件

57秒前; 你学习了吗我学不了一点发布了新的文献求助10

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

1分钟前; 李佳钰发布了新的文献求助10

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

1分钟前; cc发布了新的文献求助10

1分钟前; 量子星尘发布了新的文献求助10

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

1分钟前; 科研通AI5的应助被迅速如柏采纳，获得10

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

1分钟前; 情怀的应助被你学习了吗我学不了一点采纳，获得10

1分钟前; 核桃的应助被科研通管家采纳，获得10

1分钟前; 核桃的应助被科研通管家采纳，获得10

1分钟前; 所所的应助被科研通管家采纳，获得10

1分钟前; 科研通管家关闭了量子星尘的文献求助

1分钟前; CipherSage的应助被科研通管家采纳，获得10

1分钟前; 科研通AI5上传了应助文件

2分钟前; 科研通AI6的应助被悦耳以旋采纳，获得50

2分钟前; 迅速如柏发布了新的文献求助10

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

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

2分钟前; 科研通AI6上传了应助文件

2分钟前; orixero的应助被bk采纳，获得10

2分钟前; 李佳钰完成签到，获得积分20

2分钟前; orixero上传了应助文件

3分钟前; 在水一方上传了应助文件

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

3分钟前; 梦醒今宵发布了新的文献求助30

3分钟前; 典雅的芷珍发布了新的文献求助10

3分钟前; 俭朴蜜蜂完成签到，获得积分10

3分钟前; 科研通AI5的应助被勤劳影子采纳，获得10

3分钟前; 乐乐的应助被典雅的芷珍采纳，获得10

3分钟前