Normal view
MARC view
Geschichte (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Symposium on Mathematical Foundations of Computer Science (1972- ) (9th : 1980 : Rydzyna, Poland) 41442, Mathematical foundations of computer science, 1980 :, 1980.