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 classical decision problem

  • 作者:Borger,Egon,
  • ISBN:354057073X
  • 出版社:Berlin : Springer, 1997.
  • 出版年:1997

The decision problem : solvable classes of quantificational formulas

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

Word problems : decision problems and the Burnside problem in group theory

  • 作者:Boone,W.W.
  • 出版社:Amsterdam : North-Holland pub. co., 1973.
  • 出版年:1973

Production and operations management : a problem-solving and decision-making approach

  • 作者:Gaither,Norman
  • ISBN:0030427010
  • 出版社:Hinsdale, Ill. : Dryden Press, c1980
  • 出版年:1980