Zhaohui Luo - Böcker
Visar alla böcker från författaren Zhaohui Luo.
5 produkter
5 produkter
Del 11 - International Series of Monographs on Computer Science
Computation and Reasoning
Av Zhaohui Luo, Edinburgh) Luo, Zhaohui (Lecturer/Research Fellow, Department of Computer Science, Lecturer/Research Fellow, Department of Computer Science, JCMB, Zhaohui Luo
Inbunden, Engelska, 1994
1 349 kr
Skickas inom 5-8 vardagar
Formal Semantics in Modern Type Theories
Av Stergios Chatzikyriakidis, Zhaohui Luo, Sweden) Chatzikyriakidis, Stergios (University of Gothenburg, United Kingdom) Luo, Zhaohui (Royal Holloway - University of London
Inbunden, Engelska, 2021
2 339 kr
Skickas inom 5-8 vardagar
Del 98 - Studies in Linguistics and Philosophy
Modern Perspectives in Type-Theoretical Semantics
Inbunden, Engelska, 2017
1 549 kr
Skickas inom 7-10 vardagar
Del 98 - Studies in Linguistics and Philosophy
Modern Perspectives in Type-Theoretical Semantics
Häftad, Engelska, 2018
1 549 kr
Skickas inom 7-10 vardagar
Del 2277 - Lecture Notes in Computer Science
Types for Proofs and Programs
Av Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
Häftad, Engelska, 2002
719 kr
Skickas inom 7-10 vardagar