Normal view
MARC view
MACHINE THEORY (Topical Term)
Machine generated authority record.
Work cat.: (ISURu): Kozen, Dexter C. 24310, Automata and computability, 1997