• RecordNumber
    2383
  • Author

    Kozen, Dexter

  • Corp. Body
    , 1951-
  • Title

    Automata IOd computability

  • Publication
    Springer
  • Publication Year
    1997
  • Collation
    xiii, 400p.
  • Subject

    Machine theory , Computable functions

  • ISBN
    978-1-4612-1844-9
    • Link To Document
    https://math.iranlibs.ir/dl/search/default.aspx?Term=2383&Field=0&DTC=13