Zhaohui Luo – författare
Visar alla böcker från författaren Zhaohui Luo. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
Del 11 - International Series of Monographs on Computer Science
Computation and Reasoning
A Type Theory for Computer Science
Inbunden, Engelska, 1994
1 329 kr
Skickas inom 5-8 vardagar
2 359 kr
Skickas inom 5-8 vardagar
Del 98 - Studies in Linguistics and Philosophy
Modern Perspectives in Type-Theoretical Semantics
Inbunden, Engelska, 2017
1 529 kr
Skickas inom 10-15 vardagar
Del 98 - Studies in Linguistics and Philosophy
Modern Perspectives in Type-Theoretical Semantics
Häftad, Engelska, 2018
1 529 kr
Skickas inom 10-15 vardagar
Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Häftad, Engelska, 2002
699 kr
Skickas inom 10-15 vardagar