Forcing with random variables and proof complexity

出版社:Cambridge, UK ; New York : Cambridge University Press, 2011.
ISBN:9780521154338
出版年:2011
作者:Krajíček,Jan.
资源类型:图书
细分类型:西文文献
相关推荐

Proof complexity

  • 作者:Krajíček,Jan,
  • ISBN:9781108416849
  • 出版社:Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2019.
  • 出版年:2019

Logical foundations of proof complexity

  • 作者:Cook,Stephen,
  • ISBN:9780521517294
  • 出版社:Ithaca, NY : Association for Symbolic Logic ; New York, NY : Cambridge University Press, 2010.
  • 出版年:2010

Applications of probability and random variables

  • 作者:Wadsworth,George P.
  • ISBN:0070676518
  • 出版社:New York, McGraw-Hill [1974]
  • 出版年:1974

The algebra of random variables

  • 作者:Springer,Melvin Dale,
  • ISBN:0471014060
  • 出版社:New York : Wiley, c1979.
  • 出版年:1979

Introduction to probability and random variables

  • 作者:Wadsworth,George P.
  • 出版社:New York : McGraw-Hill, 1960.
  • 出版年:1960

Decomposition of random variables and vectors

  • 作者:Linnik,I︠U︡. V.
  • ISBN:0821815989
  • 出版社:Providence : American Mathematical Society, 1977.
  • 出版年:1977