The classical decision problem

出版社:Berlin : Springer, 1997.
ISBN:354057073X
出版年:1997
作者:Borger,Egon,
资源类型:图书
细分类型:西文文献
相关推荐

The Decision Problem

  • ISBN:020102540X
  • 出版年:1900

Resolution methods for the decision problem

  • 作者:Fermüller,C.
  • ISBN:3540567321
  • 出版社:Berlin ; New York : Springer-Verlag, c1993.
  • 出版年:1993

Solvable cases of the decision problem

  • 作者:Ackermann,W.
  • 出版社:Amsterdam : North-Holland pub. co., 1954.,Amsterdam : North-Holland Publishing Co., 1954
  • 出版年:1954

The inverse variational problem in classical mechanics

  • 作者:Lopuszanski,Jan T.
  • ISBN:981024178X
  • 出版社:Singapore : World Scientific, c1999.
  • 出版年:1999

The decision problem : solvable classes of quantificational formulas

  • 作者:Dreben,Burton.
  • ISBN:020102540X
  • 出版社:Reading, Mass. : Addison-Wesley, Advanced Book Program, 1979.
  • 出版年:1979

The classical moment problem : and some related questions in analysis

  • 作者:Akhiezer,N. I.
  • 出版社:New York : Hafner Pub. Co., [1965]
  • 出版年:1965