Normal view
MARC view
Kozen (Nombre personal)
Machine generated authority record.
Work cat.: (OSt)7540: Kozen,, Automata and computability, 1997