登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Proof Complexity
EISBN：9781108271585
PISBN：9781108271585,9781108416849
出版社：Cambridge University Press
出版时间：2019-03-28
作者：Krajíček,Jan
学科：人工智能理论,一般性问题,计算机与其他学科的关系,数理逻辑、数学基础,数学理论
语种：英语
所属数据库：中图“易阅通”电子图书集成数据库
丛书题名：Encyclopedia of Mathematics and its Applications
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Proof Complexity
  • 作者：Krajíček
  • EISBN：9781108242066
  • 出版社：Cambridge University Press
  • 出版时间：2019
...

Proof
  • 作者：C Plumpton
  • EISBN：9781349071999
  • 出版社：Macmillan Education UK
  • 出版时间：1984
...

Proof Theory
  • 作者：Kurt Schütte
  • EISBN：9783642664731
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1977
...

Proof Patterns
  • 作者：Mark Joshi
  • EISBN：9783319162508
  • 出版社：Springer International Publishing
  • 出版时间：2015
...

Proof Theory
  • 作者：Wolfram Pohlers
  • EISBN：9783540468257
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1989
...

Proof Theory
  • 作者：Wolfram Pohlers
  • EISBN：9783540693192
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2009