Vista normal
Vista MARC
Theory of Computation. (Término temático)
Machine generated authority record.
Work cat.: (UQROO)63753: Bjȹrner, Dines. editor. 133458, Logics of Specification Languages
Machine generated authority record.
Work cat.: (UQROO)63753: Bjȹrner, Dines. editor. 133458, Logics of Specification Languages