Normal view
MARC view
Computable functions(Topical Term)
Machine generated authority record
Work cat.: (OSt)8492: Kozen, Dexter, 1951- 17247, Automata and computability /, c1997.