CASIA OpenIR  > 综合信息系统研究中心
一类积分不等式的机器判定
杨路1,3; 郁文生1,2; 袁如意2
Source Publication中国科学 : 信息科学
2011
Volume40Issue:1Pages:48-65
Document Type期刊论文
Identifierhttp://ir.ia.ac.cn/handle/173211/10824
Collection综合信息系统研究中心
Affiliation1.华东师范大学软件学院, 上海高可信计算重点实验室
2.中国科学院自动化研究所, 综合信息系统研究中心
3.中国科学院成都计算机应用研究所, 自动推理实验室
Recommended Citation
GB/T 7714
杨路,郁文生,袁如意. 一类积分不等式的机器判定[J]. 中国科学 : 信息科学,2011,40(1):48-65.
APA 杨路,郁文生,&袁如意.(2011).一类积分不等式的机器判定.中国科学 : 信息科学,40(1),48-65.
MLA 杨路,et al."一类积分不等式的机器判定".中国科学 : 信息科学 40.1(2011):48-65.
Files in This Item: Download All
File Name/Size DocType Version Access License
一类积分不等式的机器判定_杨路.pdf(720KB)期刊论文作者接受稿开放获取CC BY-NC-SAView Download
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[杨路]'s Articles
[郁文生]'s Articles
[袁如意]'s Articles
Baidu academic
Similar articles in Baidu academic
[杨路]'s Articles
[郁文生]'s Articles
[袁如意]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[杨路]'s Articles
[郁文生]'s Articles
[袁如意]'s Articles
Terms of Use
No data!
Social Bookmark/Share
File name: 一类积分不等式的机器判定_杨路.pdf
Format: Adobe PDF
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.