Innbunden bok
Vis utilgjengelige 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 (Innbunden bok) (1994)

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

Luo, Zhaohui (Lecturer / Researc...