Recursion theory : its generalisations and applications : proceedings of Logic Colloquium ''79 Leeds

出版社:Cambridge (England) ; New York : Cambridge University Press, 1980.
ISBN:052123543X
出版年:1980
作者:Logic Colloquium
资源类型:图书
细分类型:西文文献,馆内阅览
相关推荐

Recursion theory: its generalisations and applications

  • 作者:Drake,F.R.
  • ISBN:052123543X
  • 出版社:Cambridge: Cambridge university Press, 1980
  • 出版年:1980

Complexity, logic, and recursion theory

  • 作者:Sorbi,Andrea,
  • ISBN:0824700260
  • 出版社:New York : Dekker, c1997.
  • 出版年:1997

The recursion method and its applications

  • 作者:D.G.Pettifor
  • ISBN:3540151737
  • 出版社:1985.05
  • 出版年:1985

The Recursion method and its applications : proceedings of the conference, Imperial College, London,

  • 作者:Pettifor,D. G.
  • ISBN:0387151737 6.70
  • 出版社:Berlin : Springer, c1985
  • 出版年:1985

The Recursion method and its applications : proceedings of the conference, Imperial College, London,

  • 作者:Pettifor,D. G.
  • ISBN:3540151737
  • 出版社:Berlin ; New York : Springer-Verlag, c1985.
  • 出版年:1985

The Recursion method and its applications : proceedings of the conference, Imperial College, London,

  • 作者:Pettifor,D. G.
  • ISBN:0387151737
  • 出版社:Berlin ; New York : Springer-Verlag, c1985.,Berlin : Springer, c1985
  • 出版年:1985