Hoppa till sidans huvudinnehåll

Zhaohui Luo – författare

Visar alla böcker från författaren Zhaohui Luo.
5 produkter
Zhaohui Luo - Computation and Reasoning, Inbunden
Del 11 - International Series of Monographs on Computer Science

Computation and Reasoning

A Type Theory for Computer Science

AvZhaohui Luo

Inbunden, Engelska, 1994

1 319 kr

Skickas inom 5-8 vardagar

Stergios Chatzikyriakidis, Zhaohui Luo - Formal Semantics in Modern Type Theories, Inbunden

Formal Semantics in Modern Type Theories

AvStergios Chatzikyriakidis,Zhaohui Luo

Inbunden, Engelska, 2021

2 479 kr

Skickas inom 5-8 vardagar

Stergios Chatzikyriakidis, Zhaohui Luo - Modern Perspectives in Type-Theoretical Semantics, Inbunden
Del 98 - Studies in Linguistics and Philosophy

Modern Perspectives in Type-Theoretical Semantics

AvStergios Chatzikyriakidis,Zhaohui Luo

Inbunden, Engelska, 2017

1 559 kr

Skickas inom 10-15 vardagar

Stergios Chatzikyriakidis, Zhaohui Luo - Modern Perspectives in Type-Theoretical Semantics, Häftad
Del 98 - Studies in Linguistics and Philosophy

Modern Perspectives in Type-Theoretical Semantics

AvStergios Chatzikyriakidis,Zhaohui Luo

Häftad, Engelska, 2018

1 559 kr

Skickas inom 10-15 vardagar

Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack - Types for Proofs and Programs, Häftad

Types for Proofs and Programs

International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

AvPaul Callaghan,Zhaohui Luom. fl.

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar