Normal view
MARC view
Nerode, Anil Author (Personal Name)
Machine generated authority record.
Work cat.: (OSt)283888: Nerode, Anil, Logical foundations of computer science - tver '92 (e-book), 1992