Normal view
MARC view
Becvar, J (Personal Name)
Machine generated authority record
Work cat.: (OSt)12138: Symposium on Mathematical Foundations of Computer Science, Marianske Lazue, September 1-5, 1975 27997, Mathematical foundations of computer science, 1975