Normal view
MARC view
LEEUWEN,JAN VAN (ED) (Personal Name)
Machine generated authority record
Work cat.: (OSt)41498: LEEUWEN,JAN VAN (ED), HANDBOOK OF THEORETICAL COMPUTER SCIENCE,VOL.B: FORMAL MODELS AND SEMANTICS, 1990