Declarative Logic Programming: Theory, Systems, and Applications

已完结

文献求助详情

标题	[高分] 书籍 Declarative Logic Programming: Theory, Systems, and Applications 相关领域计算机科学逻辑程序设计程序设计语言序言第五代程序设计语言约束规划归纳程序设计霍恩条款程序设计范式理论计算机科学数学统计随机规划
网址	https://doi.org/10.1145/3191315
DOI	10.1145/3191315 doi
其它	期刊：ACM eBooks 作者：出版日期：2018-09-01
求助人	mashibeo 在 2025-03-22 23:19:15 发布自法国，悬赏 200 积分
下载	求助已完成，仅限求助人下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

站在巨人的肩膀上，才更有可能跳的更远

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

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

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

活动

『应助活动周』即将开启 🔥 (2025-3-20)

更新

『中科院2025期刊分区』已更新 (2025-2-28)

更新

『即时热点』模块已上线 (2025-2-28)

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

实时播报: 完美世界上传了应助文件

刚刚; 典雅的如容完成签到，获得积分10

刚刚; yudandan@CJLU发布了新的文献求助10

刚刚; Qi完成签到，获得积分10

2秒前; bkagyin的应助被无私乐驹采纳，获得10

3秒前; IceyCNZ上传了应助文件

5秒前; kun发布了新的文献求助10

6秒前; FashionBoy上传了应助文件

8秒前; bkagyin上传了应助文件

9秒前; 龙弟弟完成签到，获得积分10

9秒前; 鲸落完成签到，获得积分10

11秒前; 高挑的紫安完成签到，获得积分10

12秒前; 心灵美的石头完成签到，获得积分10

12秒前; 得失心的诅咒完成签到，获得积分10

13秒前; 无私乐驹发布了新的文献求助10

14秒前; 88C真是太神奇啦发布了新的文献求助10

14秒前; 无奈晓瑶完成签到，获得积分10

14秒前; 科目三上传了应助文件

15秒前; 刘英丽完成签到，获得积分10

15秒前; SAY完成签到，获得积分10

16秒前; hey完成签到，获得积分10

17秒前; IceyCNZ上传了应助文件

19秒前; 爱静静的应助被小小旋风采纳，获得30

20秒前; 灰色白面鸮发布了新的文献求助10

20秒前; 彭于晏上传了应助文件

20秒前; xuan发布了新的文献求助10

20秒前; 坦率的文龙完成签到，获得积分10

21秒前; nice完成签到，获得积分20

21秒前; KK完成签到，获得积分20

21秒前; 结实初翠发布了新的文献求助20

22秒前; ZZ完成签到，获得积分20

23秒前; 丘比特上传了应助文件

24秒前; 时尚的梦曼完成签到，获得积分10

25秒前; 乐乐上传了应助文件

25秒前; Orange的应助被ssss采纳，获得10

26秒前; Jenny关闭了Jenny的文献求助

26秒前; QAQSS完成签到，获得积分10

26秒前; 可爱的函函的应助被dalian采纳，获得10

27秒前; Loooong发布了新的文献求助10

27秒前; ZZ发布了新的文献求助10

28秒前