Normal view
MARC view
- Kozen,Dexter C
Kozen,Dexter C (Personal Name)
Machine generated authority record.
Work cat.: (OSt)214345: Kozen,Dexter C. Editor., Automata and Computability, Undergraduate Texts in Computer Science., 1997.