Hardcover bog
Vis udgåede udgivelser

Udgivelser med Luo, Zhaohui (Lecturer / Research Fellow, Department of Computer Science, Lecturer / Research Fellow, Department of Computer Science, JCMB, Edinburgh)

31. marts 1994

Cover for Luo, Zhaohui (Lecturer / Research Fellow, Department of Computer Science, Lecturer / Research Fellow, Department of Computer Science, JCMB, Edinburgh) · Computation and Reasoning: A Type Theory for Computer Science - International Series of Monographs on Computer Science (Hardcover bog) (1994)
Hardcover bog
Computation and Reasoning: A Typ...
Luo, Zhaohui (Lecturer / Researc...