×
验证码:
换一张
忘记密码?
记住我
切换中国科技网通行证登录
×
切换中国科技网通行证登录
登录
中文版
|
English
中国科学院数学与系统科学研究院机构知识库
KMS Of Academy of mathematics and systems sciences, CAS
登录
注册
ALL
ORCID
题名
作者
发表日期
学科领域
关键词
文献类型
出处
存缴日期
收录类别
出版者
资助项目
学科门类
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
系统科学研究所 [5]
作者
刘卓军 [5]
文献类型
期刊论文 [10]
发表日期
2007 [1]
2000 [1]
1997 [1]
1996 [6]
1995 [1]
语种
英语 [10]
出处
systemssci... [3]
计算机学报 [2]
Journal of... [1]
中国基础科学 [1]
中国科学e辑技术科学 [1]
数学学报 [1]
更多...
资助项目
收录类别
资助机构
×
知识图谱
CSpace
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共10条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
期刊影响因子升序
期刊影响因子降序
题名升序
题名降序
WOS被引频次升序
WOS被引频次降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
作者升序
作者降序
集成电路验证技术
期刊论文
中国基础科学, 2007, 卷号: 000, 期号: 003, 页码: 11
作者:
刘卓军
;
吴尽昭
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2020/01/10
Linear Strategy for Boolean Ring BasedTheorem Proving
期刊论文
Journal of Computer Science and Technology, 2000, 卷号: 15, 期号: 3, 页码: 271
作者:
Wu JZ(吴尽昭)
;
Liu ZJ(刘卓军)
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2020/01/10
余式方法中的线性策略以及语义策略和锁策略
期刊论文
计算机学报, 1997, 卷号: 020, 期号: 002, 页码: 174
作者:
刘卓军
;
吴尽昭
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2020/01/10
使用广义奇超位ii的一阶定理证明
期刊论文
中国科学e辑技术科学, 1996, 卷号: 26, 期号: 5, 页码: 442
作者:
吴尽昭
;
刘卓军
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2020/01/10
一阶谓词演算定理机器胆的余式方法
期刊论文
计算机学报, 1996, 卷号: 19, 期号: 10, 页码: 728
作者:
刘卓军
;
吴尽昭
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2020/01/10
onthealgebraicvarietydecomposition
期刊论文
systemsscienceandmathematicalscience, 1996, 卷号: 9, 期号: 2, 页码: 120
作者:
Wu Jinzhao
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2020/01/10
特殊Thue系统表现的幺半群的两个性质
期刊论文
数学学报, 1996, 卷号: 039, 期号: 005, 页码: 643
作者:
吴尽昭
;
谭红艳
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2020/01/10
quantitativepropertiesofgreenequivalencesonspecialmonoids
期刊论文
systemsscienceandmathematicalscience, 1996, 卷号: 9, 期号: 3, 页码: 198
作者:
Wu Jinzhao
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2020/01/10
amethodformechanicalgeometrytheoremproving
期刊论文
systemsscienceandmathematicalscience, 1996, 卷号: 9, 期号: 4, 页码: 313
作者:
Tan Hongyan
;
Wu Jinzhao
收藏
  |  
浏览/下载:134/0
  |  
提交时间:2020/01/10
一种几何定理机器证明的零维化方法
期刊论文
数学研究与评论, 1995, 卷号: 015, 期号: 004, 页码: 617
作者:
吴尽昭
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2020/01/10