发布文献求助

Polymorphic type checking with subtypes in Prolog

作者
Thom Frühwirth
出处
期刊：Lecture Notes in Computer Science [Springer Science+Business Media]
日期：1990-01-01 卷期号：: 121-130
标识
DOI：10.1007/3-540-52531-9_131
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
Galaxee完成签到，获得积分10
刚刚
刚刚
LihuaLu0417完成签到，获得积分10
刚刚
刚刚
maxiaole的应助被乌拉采纳，获得10
刚刚
健康的大门完成签到，获得积分10
1秒前
深情安青的应助被完美的宛亦采纳，获得10
1秒前
思源的应助被傲娇的丹萱采纳，获得10
1秒前
2秒前
2秒前
冷傲不凡关注了科研通微信公众号
2秒前
惕守的应助被尉迟富采纳，获得10
2秒前
惕守的应助被尉迟富采纳，获得10
2秒前
白白白完成签到，获得积分10
3秒前
拉普兰Z发布了新的文献求助10
3秒前
liusanmu完成签到，获得积分10
3秒前
3秒前
3秒前
无极微光的应助被meng采纳，获得20
4秒前
4秒前
4秒前
JY完成签到 ，获得积分10
4秒前
天真的听枫完成签到，获得积分10
4秒前
4秒前
4秒前
端庄断秋完成签到，获得积分10
4秒前
刘梦茹完成签到，获得积分10
5秒前
5秒前
淡然短靴完成签到，获得积分10
5秒前
～峰完成签到，获得积分10
5秒前
怡然的迎波完成签到，获得积分20
5秒前
龙二发布了新的文献求助10
6秒前
WRNL发布了新的文献求助10
6秒前
程程程完成签到，获得积分10
6秒前
6秒前
故意的一一完成签到，获得积分20
7秒前
8秒前
chen完成签到，获得积分10
8秒前
8秒前
8秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 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小时）
化学 材料科学 医学 生物 计算机科学 工程类 纳米技术 有机化学 物理 生物化学 化学工程 内科学 复合材料 催化作用 心理学 人工智能 细胞生物学 光电子学 无机化学 量子力学
热门帖子
关注 科研通微信公众号，转发送积分 7971383
求助须知：如何正确求助？哪些是违规求助？ 9437258
关于积分的说明 21048625
捐赠科研通 7547913
什么是DOI，文献DOI怎么找？ 3373518
关于科研通互助平台的介绍 2508376
邀请新用户注册赠送积分活动 2406063
Copyright © 2020-2026 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 帮助中心 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：821889395【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通