发布文献求助
亲爱的研友该休息了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！身体可是革命的本钱，早点休息，好梦！
待确认
  • 文献求助详情
标题
Integrating semantic NLP and logic reasoning into a unified system for fully-automated code checking
网址
https://www.sciencedirect.com/science/article/am/pii/S092658...
DOI
10.1016/j.autcon.2016.08.027 doi
其它 期刊：Automation in Construction
作者：Jian-Song Zhang; N. El-Gohary
出版日期：2017-01-01
求助人
yk 在 2026-10-23 00:21:29 发布自中国，悬赏 10 积分
下载
上个求助
下个求助
提交工单
求助 / 应助时间线

  • 请等待求助人确认

    已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
    如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。

  • 3小时前

    科研通AI6.4 科研通AI6.4 机器人Lv12 上传了文件

    待审核 j.autcon.2016.08.027.pdf (2.96 MB)
    温馨提示：本文件中的下载单位、IP等隐私信息已被删除。如有遗漏，请 提交工单 反馈。

  • 3小时前

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

    00:21:33 未找到该文献，机器人已退出，请等待人工下载
    00:21:30 科研通AI机器人（中国 香港）收到请求，开始寻找文献
    00:21:29 已向机器人发送请求

  • 3小时前

    yk yk Lv1 求助人 发起了本次求助

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
如意涵雁完成签到，获得积分10
4秒前
无私的迎蓉完成签到，获得积分10
15秒前
陈桂芳完成签到，获得积分10
23秒前
ZYD完成签到 ，获得积分10
37秒前
时尚靖琪完成签到，获得积分10
58秒前
1分钟前
脑洞疼的应助被科研通管家采纳，获得10
1分钟前
null的应助被科研通管家采纳，获得10
1分钟前
1分钟前
Harrison发布了新的文献求助10
1分钟前
zxc99975发布了新的文献求助10
1分钟前
369ninja发布了新的文献求助10
1分钟前
笑点低的丹蝶完成签到，获得积分10
1分钟前
友好怜菡完成签到，获得积分10
1分钟前
香蕉觅云的应助被zihanhhh采纳，获得10
1分钟前
一道精致的灰完成签到 ，获得积分10
1分钟前
伶俐的秀发完成签到，获得积分10
2分钟前
2分钟前
义气慕梅完成签到，获得积分10
2分钟前
烟花的应助被NoHacker采纳，获得10
2分钟前
炙热初丹完成签到，获得积分10
2分钟前
wsdow完成签到，获得积分10
2分钟前
2分钟前
犹豫访冬完成签到，获得积分10
2分钟前
zihanhhh发布了新的文献求助10
2分钟前
华仔的应助被科研通管家采纳，获得30
3分钟前
剧院的饭桶完成签到，获得积分10
3分钟前
欢喜的晓槐完成签到，获得积分10
3分钟前
3分钟前
坦率道之发布了新的文献求助10
3分钟前
Xiu完成签到，获得积分10
3分钟前
3分钟前
3分钟前
高大的紫萍完成签到，获得积分10
3分钟前
3分钟前
斯文败类的应助被坦率道之采纳，获得10
3分钟前
赘婿的应助被鲜艳的手链采纳，获得10
3分钟前
3分钟前
明亮的小蘑菇完成签到 ，获得积分10
3分钟前
仁爱的如天完成签到，获得积分10
3分钟前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Essentials of Carbohydrate Chemistry and Biochemistry, 4th Edition 1000
Электротехническая система магнитожидкостной герметизации валов регулируемых электродвигателей 800
日本語と中国語及びチベット・ビルマ語の語源関連性に関する分析 800
Practical Manual of Forensic Psychophysiology: Methodology, Execution, and Fields of Application 800
Holistic Discourse Analysis, Second Edition by Robert E. Longacre 666
The Basics of Practical Optimization, Second Edition 600
热门求助领域 （近24小时）
化学 材料科学 医学 生物 计算机科学 工程类 纳米技术 有机化学 物理 生物化学 化学工程 内科学 复合材料 催化作用 心理学 人工智能 细胞生物学 光电子学 无机化学 量子力学
热门帖子
关注 科研通微信公众号，转发送积分 7970154
求助须知：如何正确求助？哪些是违规求助？ 9436527
关于积分的说明 21043127
捐赠科研通 7546633
什么是DOI，文献DOI怎么找？ 3373134
关于科研通互助平台的介绍 2507999
邀请新用户注册赠送积分活动 2405702
Copyright © 2020-2026 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 帮助中心 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：821889395【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通