登录
免费注册
赞
分享
科研之友
微信
新浪微博
Facebook
分享链接
张南
西安电子科技大学
/
科研之友号：60989531
科研之友人员唯一编号
邮箱：
nanzh***@stu.xidian.edu.cn
2
项目
100
成果
1999
阅读
7
下载
211
被引
9
H-指数
主页
成果
工作经历
西安电子科技大学
2012-03至现在
教育经历
西安电子科技大学
2002-08至2012-03
由于隐私设置，内容未完全显示
期刊论文
(0)
close
会议论文
(0)
close
专利
(0)
close
奖励
(0)
close
书/著作
(0)
close
书籍章节
(0)
close
学位论文
(0)
close
标准
(0)
close
软件著作权
(0)
close
其他
(0)
close
EI
(0)
close
SCIE
(0)
close
SSCI
(0)
close
ISTP
(0)
close
CSSCI
(0)
close
北大核心
(0)
close
(0)
close
(0)
close
(0)
close
不限
(0)
close
最新修改
引用
学科分类
系统软件、数据库与工业软件
计算机科学的基础理论
关键词
时序逻辑
定理证明
形式验证
多核处理器
并行计算
相关人员
更多
当前人员不存在或主页设为隐私，无法查看
科研之友
微信
新浪微博
Facebook
分享链接
