发布文献求助
已入深夜，您辛苦了！由于当前在线用户较少，发布求助请尽量完整的填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！祝你早点完成任务，早点休息，好梦！
待确认
  • 文献求助详情
标题
Carnap: An Open Framework for Formal Reasoning in the Browser
Carnap：浏览器中形式推理的开放框架
相关领域
计算机科学 JavaScript 可扩展性 灵活性（工程） 适应性 哈斯克尔 软件工程 程序设计语言 人机交互 函数式程序设计 生态学 数学 生物 统计
网址
https://doi.org/10.4204/eptcs.267.5
AI链接 arxiv.org arxiv.org arxiv.org philpapers.org philpapers.org datacite.orgdoi.org
DOI
10.4204/eptcs.267.5 doi
其它 期刊：arXiv (Cornell University)
作者：Graham Leach-Krouse
出版日期：2018-03-02
求助人
小哲 在 2024-12-25 13:09:35 发布自广东，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
相关文献
  1. Building JavaScript Applications with Haskell
  2. Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
  3. Trees That Grow.
  4. Proceedings of the first ACM SIGPLAN symposium on Haskell
  5. Proceedings of the first ACM SIGPLAN symposium on Haskell
  6. A concept of flexibility
  7. Flexibility and Adaptability: A Review on Assessment Methods and Tools and Their Applicability
  8. Haskell_#: Coordinating Functional Processes
  9. Tuning the Performance of Haskell Parallel Programs Using GC-Tune
  10. Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
　...点击展开更多...　
求助 / 应助时间线

  • 请等待求助人确认

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

  • 11小时前

    Candice Candice Lv6 上传了文件

    待审核 LEACAO-2v1.pdf (321.57 KB)

  • 11小时前

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

    13:09:37 未找到该文献，机器人已退出，请等待人工下载
    13:09:35 科研通AI机器人（广州）收到请求，开始寻找文献
    13:09:35 已向机器人发送请求

  • 11小时前

    小哲 小哲 求助人 Lv4 发起了本次求助

更新
大幅提高文件上传限制，最高150M (2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
3080完成签到 ，获得积分10
刚刚
1秒前
hyl-tcm发布了新的文献求助10
4秒前
江竹兰完成签到，获得积分10
4秒前
花花521完成签到，获得积分10
5秒前
蟹治猿完成签到 ，获得积分10
5秒前
王老裂完成签到，获得积分10
6秒前
7秒前
北方木棉完成签到 ，获得积分10
9秒前
10秒前
11秒前
皮咻完成签到，获得积分10
11秒前
adam完成签到 ，获得积分10
12秒前
完美世界的应助被畅快的枫采纳，获得10
13秒前
爆米花的应助被yyyy采纳，获得10
13秒前
牛奶面包完成签到，获得积分10
13秒前
14秒前
小不胖鼠发布了新的文献求助10
14秒前
小久小力发布了新的文献求助10
16秒前
大个的应助被牛奶面包采纳，获得10
17秒前
Hello的应助被小不胖鼠采纳，获得10
18秒前
高高的坤完成签到 ，获得积分10
18秒前
23秒前
77完成签到 ，获得积分10
23秒前
糟糕的金针菇完成签到 ，获得积分10
25秒前
畅快的枫发布了新的文献求助10
28秒前
乐乐的应助被乐观的阿这采纳，获得10
28秒前
32秒前
fang完成签到，获得积分10
33秒前
35秒前
RR发布了新的文献求助10
36秒前
fengyuke发布了新的文献求助10
37秒前
最棒哒完成签到 ，获得积分10
39秒前
LiH发布了新的文献求助30
41秒前
小金星星完成签到 ，获得积分10
41秒前
John完成签到，获得积分10
42秒前
43秒前
46秒前
过时的小蘑菇完成签到 ，获得积分10
47秒前
47秒前
高分求助中
The late Devonian Standard Conodont Zonation 2000
Nickel superalloy market size, share, growth, trends, and forecast 2023-2030 2000
The Lali Section: An Excellent Reference Section for Upper - Devonian in South China 1500
Very-high-order BVD Schemes Using β-variable THINC Method 890
Mantiden: Faszinierende Lauerjäger Faszinierende Lauerjäger 800
PraxisRatgeber: Mantiden: Faszinierende Lauerjäger 800
A new species of Coccus (Homoptera: Coccoidea) from Malawi 500
热门求助领域 （近24小时）
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号，转发送积分 3256777
求助须知：如何正确求助？哪些是违规求助？ 2898945
关于积分的说明 8303121
捐赠科研通 2568188
什么是DOI，文献DOI怎么找？ 1394887
科研通“疑难数据库（出版商）”最低求助积分说明 652924
邀请新用户注册赠送积分活动 630631
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通