The P=NP Question and Gödel’s Lost Letter

EISBN:9781441971555
PISBN:9781441971548
出版社:Springer US
出版类型:Monograph
出版时间:2010
作者:Richard J. Lipton
主题词:Theory of Computation,Mathematics of Computing,History of Computing,Mathematical Logic and Foundations,Algorithm Analysis and Problem Complexity,Algorithms
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Gödel's Incompleteness Theorems

  • 作者:Dirk W. Hoffmann
  • EISBN:9783662695500
  • 出版社:Springer Nature
  • 出版时间:2024

Gödel's Theorems and Zermelo's Axioms

  • 作者:Lorenz Halbeisen,Regula Krapf
  • EISBN:9783030522797
  • 出版社:Springer International Publishing
  • 出版时间:2020

Types, Tableaus, and Gödel’s God

  • 作者:Melvin Fitting
  • EISBN:9789401004114
  • 出版社:Springer Netherlands
  • 出版时间:2002

Types, Tableaus, and Gödel’s God

  • 作者:M. Fitting
  • EISBN:9789401004114
  • 出版社:Springer Netherlands
  • 出版时间:2002

Kurt Gödel

  • 作者:William D. Brewer
  • EISBN:9783031113093
  • 出版社:Springer Nature
  • 出版时间:2022

Kurt Gödel

  • 作者:Francisco A. Rodriguez-Consuegra
  • EISBN:9783034892483
  • 出版社:Birkhäuser Basel
  • 出版时间:1995