Hardcover Book
Montrer les articles indisponibles

Communiqués par 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 (Hardcover Book) (1994)
Hardcover Book
Computation and Reasoning: A Typ...
Luo, Zhaohui (Lecturer / Researc...