Inbunden Bok
Visa slutsålda utgivelser

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

31 mars 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 (Inbunden Bok) (1994)

Computation and Reasoning: A Typ... (1994)

Luo, Zhaohui (Lecturer / Researc...