Automata IOd computability

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 :
http://math.iranlibs.ir/dL/search/default.aspx?Term=2383&Field=0&DTC=13

Kozen, Dexter