Synthesis by Substitution

替代(逻辑) 计算机科学 程序设计语言
出处
期刊:Georg Thieme Verlag eBooks [Georg Thieme Verlag KG]
标识
DOI:10.1055/sos-sd-031-00437
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
HUSHIYI发布了新的文献求助10
刚刚
芝士完成签到,获得积分10
1秒前
咸鱼打滚完成签到,获得积分10
1秒前
1秒前
Mine发布了新的文献求助10
2秒前
JamesPei应助jim采纳,获得10
2秒前
今后应助PEI采纳,获得10
2秒前
2秒前
诚心尔琴完成签到,获得积分10
3秒前
3秒前
蜜汁炖鱿鱼完成签到,获得积分20
3秒前
4秒前
4秒前
无私的朝雪完成签到,获得积分10
4秒前
4秒前
huang123完成签到,获得积分10
5秒前
星睿发布了新的文献求助10
5秒前
soberwind发布了新的文献求助10
5秒前
子铭完成签到,获得积分20
5秒前
素颜浅笑完成签到,获得积分20
6秒前
6秒前
所所应助无聊的太清采纳,获得10
6秒前
6秒前
6秒前
kimkaaaaa发布了新的文献求助10
7秒前
自然开山完成签到 ,获得积分10
7秒前
派派完成签到,获得积分10
7秒前
8秒前
冷酷的亦绿完成签到,获得积分10
8秒前
小王完成签到,获得积分10
9秒前
HUSHIYI完成签到,获得积分10
9秒前
小天才发布了新的文献求助10
9秒前
星汉灿烂完成签到,获得积分20
9秒前
10秒前
10秒前
10秒前
10秒前
涩涩簌簌发布了新的文献求助10
11秒前
明里完成签到,获得积分10
11秒前
11秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Engineering for calcareous sediments : proceedings of the International Conference on Calcareous Sediments, Perth 15-18 March 1988 / edited by R.J. Jewell, D.C. Andrews 1000
Wolffs Headache and Other Head Pain 9th Edition 1000
Continuing Syntax 1000
Signals, Systems, and Signal Processing 510
Atlas of the Developing Mouse Brain 400
Austrian Economics: An Introduction 400
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 物理 内科学 复合材料 催化作用 物理化学 光电子学 电极 细胞生物学 基因 无机化学
热门帖子
关注 科研通微信公众号,转发送积分 6234191
求助须知:如何正确求助?哪些是违规求助? 8058086
关于积分的说明 16810604
捐赠科研通 5314466
什么是DOI,文献DOI怎么找? 2830537
邀请新用户注册赠送积分活动 1808064
关于科研通互助平台的介绍 1665701