登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

交互式证明中的新归约技术
出版社：中国科学院信息工程研究所
出版年：2019
作者：于婧悦
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

交互式定理证明与程序开发 :Coq归纳构造演算的艺术 :Coq''art: the calculus of induc
  • 作者：贝尔托
  • ISBN：9787302208136
  • 出版社：清华大学出版社
  • 出版年：2010
...

基于本体的大数据归约技术
  • 作者：郝文宁
  • ISBN：9787560668208
  • 出版社：西安电子科技大学出版社
  • 出版年：2023
...

交互式三维技术
  • 作者：姚俊峰
  • ISBN：9787030366368
  • 出版社：科学出版社
  • 出版年：2013
...

安全归约导论
  • 作者：郭福春
  • ISBN：9787576301175
  • 出版社：北京理工大学出版社,北京理工大学出版社有限责任公司
  • 出版年：2021
...

曙光6000全局归约关键技术研究
  • 作者：耿亮
  • 出版年：2010
...

量子零知识交互证明的相关研究
  • 作者：颜俊
  • 出版年：2012