Logical Foundations of Mathematics and Computational Complexity

EISBN:9783319001197
PISBN:9783319001180
出版社:Springer International Publishing
出版类型:Monograph
出版时间:2013
作者:Pavel Pudlák
主题词:Mathematical Logic and Foundations,Mathematics of Algorithmic Complexity,Algorithm Analysis and Problem Complexity
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

The Logical Foundations of Mathematics

  • 作者:Hatcher,William S.
  • PISBN:9780080258003
  • 出版时间:Legacy

The Computational Complexity of Logical Theories

  • 作者:Jeanne Ferrante,Charles W. Rackoff
  • EISBN:9783540351979
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1979

The Computational Complexity of Logical Theories

  • 作者:J. Ferrante,C. W. Rackoff
  • EISBN:9783540351979
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1979

Foundations of Computational Mathematics

  • 作者:Felipe Cucker,Michael Shub
  • EISBN:9783642605390
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Foundations of Computational Mathematics

  • 作者:Felipe Cucker,Michael Shub
  • EISBN:9783642605390
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Computational Complexity

  • 作者:Robert A. Meyers
  • EISBN:9781461418009
  • 出版社:Springer New York
  • 出版时间:2012