Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Komb

出版社:Berlin ; New York : Springer-Verlag, 1984.
ISBN:0387133313
出版年:1984
作者:Symposium "Rekursive Kombinatorik"
资源类型:图书
细分类型:西文文献
相关推荐

The logic of decision

  • 作者:Jeffrey,Richard C.
  • 出版社:New York : McGraw-Hill, c1965.
  • 出版年:1965

Computability, complexity, logic

  • 作者:Borger,E.
  • ISBN:0444874062
  • 出版社:Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. Distributors for the U.S.A. and Canada
  • 出版年:1989

Computability, complexity, logic

  • 作者:Borger,E.
  • ISBN:0444874062 15.00
  • 出版社:Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. Distributors for the U.S.A. and Canada
  • 出版年:1989

Logic machines and diagrams

  • 作者:Gardner,Martin,
  • ISBN:0226282449
  • 出版社:Chicago : University of Chicago Press, 1982.
  • 出版年:1982

Logic machines and diagrams.

  • 作者:Gardner,Martin,
  • ISBN:CNY1.10
  • 出版社:New York, McGraw-Hill, 1958.
  • 出版年:1958

Complexity, logic, and recursion theory

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