Automata and computability

出版社:New York : Springer, c1997.
ISBN:0387949070
出版年:1997
作者:Kozen,Dexter C.,
资源类型:图书
细分类型:西文文献
相关推荐

Automata and computability : a programmer''s perspective

  • 作者:Gopalakrishnan,Ganesh.
  • ISBN:9781138552425
  • 出版社:Boca Raton, FL : CRC Press/Taylor & Francis Group, c2019.
  • 出版年:2019

Theoretical computer science : introduction to automata, computability, complexity, algorithmics, ra

  • 作者:Hromkovič,Juraj,
  • ISBN:9783642057298
  • 出版社:Berlin ; New York : Springer, 2010.
  • 出版年:2010

Theoretical computer science : introduction to Automata, computability, complexity, algorithmics, ra

  • 作者:Hromkovi,Juraj,
  • ISBN:3540140158
  • 出版社:Berlin ; New York : Springer, 2004.
  • 出版年:2004

Computability

  • 作者:Weihrauch,K.
  • ISBN:0387137211
  • 出版社:Berlin ; New York : Springer-Verlag, c1987.
  • 出版年:1987

Automata, computability and complexity : theory and applications = 自动机理论与应用

  • 作者:Rich,Elaine.
  • ISBN:9787302212935
  • 出版社:北京 : 淸华大学出版社, 2009.
  • 出版年:2009

Computability and logic

  • 作者:Cohen.,Daniel E.
  • ISBN:0745800343
  • 出版社:Chichester, West Sussex, England : E. Horwood ; New York : Halsted Press, 1987.
  • 出版年:1987