登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

The decision problem : solvable classes of quantificational formulas
出版社：Reading, Mass. : Addison-Wesley, Advanced Book Program, 1979.
ISBN：020102540X
出版年：1979
作者：Dreben,Burton.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Solvable cases of the decision problem
  • 作者：Ackermann,W.
  • 出版社：Amsterdam : North-Holland pub. co., 1954.,Amsterdam : North-Holland Publishing Co., 1954
  • 出版年：1954
...

The Decision Problem
  • ISBN：020102540X
  • 出版年：1900
...

Resolution methods for the decision problem
  • 作者：Fermüller,C.
  • ISBN：3540567321
  • 出版社：Berlin ; New York : Springer-Verlag, c1993.
  • 出版年：1993
...

The classical decision problem
  • 作者：Borger,Egon,
  • ISBN：354057073X
  • 出版社：Berlin : Springer, 1997.
  • 出版年：1997
...

Groups of homotopy classes : rank formulas and homotopy-commutativity
  • 作者：Arkowitz,Martin.
  • 出版社：Berlin ; New York : Springer-Verlag, 1964.
  • 出版年：1964
...

Space Conference 2013 : space traffic control - is the space debris problem solvable? London, United
  • 作者：Space Conference
  • ISBN：9781629930558
  • 出版社：United Kingdom : Royal Aeronautical Society, 2013.
  • 出版年：2013