发布文献求助

Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming’s Algorithmic Foundations

数学 雅可比矩阵与行列式 计算 域代数上的 理论计算机科学 算法 计算机科学 纯数学 应用数学
作者
Howard A. Blair,Fred Dushin,David W. Jakel,Angel J. Rivera,Metin Sezgin
出处
期刊：Artificial intelligence (Berlin. Springer) 日期：1999-01-01 卷期号：: 231-255 被引量：11
链接
syr.edudoi.org
标识
DOI：10.1007/978-3-642-60085-2_10
相关文献
科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制，最高150M (2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
2秒前
7秒前
槐序零玖完成签到，获得积分10
8秒前
田様的应助被我很厉害的采纳，获得10
8秒前
9秒前
李陈完成签到，获得积分10
10秒前
11秒前
ganzhongxin完成签到，获得积分10
11秒前
Skywalker发布了新的文献求助10
11秒前
11秒前
11秒前
Anaero完成签到，获得积分10
12秒前
小蘑菇的应助被忞航采纳，获得30
13秒前
wangzh发布了新的文献求助10
14秒前
星辰大海的应助被科研通管家采纳，获得10
14秒前
HCLonely的应助被科研通管家采纳，获得10
14秒前
iNk的应助被科研通管家采纳，获得10
14秒前
Zhang的应助被科研通管家采纳，获得10
14秒前
彭于晏的应助被科研通管家采纳，获得10
14秒前
14秒前
天天快乐的应助被科研通管家采纳，获得10
14秒前
HCLonely的应助被科研通管家采纳，获得10
14秒前
14秒前
14秒前
隐形曼青的应助被科研通管家采纳，获得10
14秒前
14秒前
14秒前
华仔的应助被科研通管家采纳，获得10
14秒前
iNk的应助被科研通管家采纳，获得10
15秒前
iNk的应助被科研通管家采纳，获得10
15秒前
大模型的应助被科研通管家采纳，获得10
15秒前
小马甲的应助被科研通管家采纳，获得10
15秒前
搜集达人的应助被科研通管家采纳，获得10
15秒前
深情安青的应助被科研通管家采纳，获得10
15秒前
HCLonely的应助被科研通管家采纳，获得10
15秒前
15秒前
15秒前
科研通AI2S的应助被科研通管家采纳，获得10
15秒前
15秒前
15秒前
高分求助中
Licensing Deals in Pharmaceuticals 2019-2024 3000
Cognitive Paradigms in Knowledge Organisation 2000
Mantiden: Faszinierende Lauerjäger Faszinierende Lauerjäger Heßler, Claudia, Rud 1000
PraxisRatgeber: Mantiden: Faszinierende Lauerjäger 1000
Natural History of Mantodea 螳螂的自然史 1000
A Photographic Guide to Mantis of China 常见螳螂野外识别手册 800
How Maoism Was Made: Reconstructing China, 1949-1965 800
热门求助领域 （近24小时）
化学 医学 材料科学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 量子力学 冶金 电极
热门帖子
关注 科研通微信公众号，转发送积分 3317112
求助须知：如何正确求助？哪些是违规求助？ 2948816
关于积分的说明 8542825
捐赠科研通 2624909
什么是DOI，文献DOI怎么找？ 1436439
科研通“疑难数据库（出版商）”最低求助积分说明 665902
邀请新用户注册赠送积分活动 651840
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通