大暑
SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
A Mechanically Verified Commercial SRT Divider
正确性
计算机科学
煤气表校准仪
程序设计语言
抽象
自动定理证明
师（数学）
整数（计算机科学）
算法
算术
数学
数学证明
哲学
几何学
认识论
作者
David M. Russinoff
出处
期刊：Springer eBooks
[Springer Nature]
日期：2010-01-01
卷期号：: 23-63
被引量：4
标识
DOI：10.1007/978-1-4419-1539-9_2
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
2025年影响因子查询已上线
(2025-6-18)
更新
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
Jasper
上传了
应助文件
1秒前
失眠的汽车
完成签到，获得积分
10
5秒前
大胆的颜演
发布了新的
文献求助
10
5秒前
小吴
完成签到，获得积分
10
5秒前
尔玉
完成签到
，获得积分
10
6秒前
lilyswift
发布了新的
文献求助
10
7秒前
ggxq
完成签到，获得积分
10
8秒前
七七
完成签到，获得积分
10
8秒前
fang
上传了
应助文件
8秒前
无敌大流流
完成签到，获得积分
10
8秒前
李爱国
的
应助
被
来都来了
采纳，获得
10
10秒前
HappyPlato
完成签到，获得积分
10
11秒前
BIT_lulu
完成签到，获得积分
10
11秒前
reading gene
完成签到，获得积分
10
11秒前
科目三
上传了
应助文件
12秒前
孟慧
的
应助
被
落海
采纳，获得
30
12秒前
小马甲
的
应助
被
可闻春风
采纳，获得
10
14秒前
赘婿
上传了
应助文件
15秒前
机智寻雪
完成签到
，获得积分
10
16秒前
SciGPT
的
应助
被
缓慢海亦
采纳，获得
10
16秒前
马某
完成签到
，获得积分
10
16秒前
脑洞疼
上传了
应助文件
17秒前
小马甲
上传了
应助文件
18秒前
ZHQ
给ZHQ的
求助
进行了留言
18秒前
一叶知秋
上传了
应助文件
18秒前
卢小白
完成签到，获得积分
10
19秒前
宁哥查文
发布了新的
文献求助
10
19秒前
ding
的
应助
被
高大侠
采纳，获得
10
19秒前
超声波
完成签到
，获得积分
10
20秒前
Jasper
的
应助
被
Feng5945
采纳，获得
10
20秒前
weifengzhong
完成签到，获得积分
10
20秒前
鱼鱼鱼
驳回了
wantmygo
的
应助
21秒前
小狐狸
发布了新的
文献求助
10
21秒前
李健的粉丝团团长
的
应助
被
YDU
采纳，获得
10
21秒前
Apple
完成签到，获得积分
10
21秒前
Lucas
的
应助
被
Gernichora
采纳，获得
15
21秒前
热情的老虎
完成签到，获得积分
10
21秒前
向光的小怡
发布了新的
文献求助
10
22秒前
大福同学
发布了新的
文献求助
10
22秒前
Moonber
发布了新的
文献求助
10
23秒前
高分求助中
【请各位用户详细阅读此贴后再求助】科研通的精品贴汇总(请勿应助)
10000
The Mother of All Tableaux: Order, Equivalence, and Geometry in the Large-scale Structure of Optimality Theory
3000
International Code of Nomenclature for algae, fungi, and plants (Madrid Code) (Regnum Vegetabile)
500
Maritime Applications of Prolonged Casualty Care: Drowning and Hypothermia on an Amphibious Warship
500
Comparison analysis of Apple face ID in iPad Pro 13” with first use of metasurfaces for diffraction vs. iPhone 16 Pro
500
Towards a $2B optical metasurfaces opportunity by 2029: a cornerstone for augmented reality, an incremental innovation for imaging （YINTR24441）
500
Materials for Green Hydrogen Production 2026-2036: Technologies, Players, Forecasts
500
热门求助领域
（近24小时）
化学
材料科学
医学
生物
工程类
有机化学
生物化学
物理
内科学
纳米技术
计算机科学
化学工程
复合材料
遗传学
基因
物理化学
催化作用
冶金
细胞生物学
免疫学
热门帖子
关注
科研通微信公众号，转发送积分
4056189
求助须知：如何正确求助？哪些是违规求助？
3594277
关于积分的说明
11419707
捐赠科研通
3320136
什么是DOI，文献DOI怎么找？
1825593
邀请新用户注册赠送积分活动
896641
科研通“疑难数据库（出版商）”最低求助积分说明
817971
今日热心研友
lalala
193
800
嘿嘿
123
1020
海东来
49
1410
东耦
144
YamDaamCaa
37
990
CAOHOU
60
690
DijiaXu
85
350
比比谁的速度快
34
840
一叶知秋
115
念神珠恋玥
60
540
核桃
55
590
已秃
51
610
不安青牛
67
420
柯亦云
48
560
Tsang
54
480
李天萌
100
SYLH
970
eric888
930
Xiaoxiao
43
460
yar
86
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
lalala
嘿嘿
海东来
东耦
YamDaamCaa
CAOHOU
DijiaXu
比比谁的速度快
一叶知秋
念神珠恋玥
核桃
已秃
不安青牛
柯亦云
Tsang
李天萌
SYLH
eric888
Xiaoxiao
yar
皖公网安备34019202002308
