Hoppa till sidans huvudinnehåll

Zhaohui Luo - Böcker

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

Computation and Reasoning

A Type Theory for Computer Science

AvZhaohui Luo,Edinburgh) Luo, Zhaohui (Lecturer/Research Fellow, Department of Computer Science, Lecturer/Research Fellow, Department of Computer Science, JCMB m. fl.

Inbunden, Engelska, 1994

1 289 kr

Skickas inom 5-8 vardagar

Formal Semantics in Modern Type Theories

AvStergios Chatzikyriakidis,Zhaohui Luo m. fl.

Inbunden, Engelska, 2021

2 269 kr

Skickas inom 10-15 vardagar

Modern Perspectives in Type-Theoretical Semantics

AvStergios Chatzikyriakidis,Zhaohui Luo

Inbunden, Engelska, 2017

1 499 kr

Skickas inom 10-15 vardagar

Modern Perspectives in Type-Theoretical Semantics

AvStergios Chatzikyriakidis,Zhaohui Luo

Häftad, Engelska, 2018

1 509 kr

Skickas inom 10-15 vardagar

Types for Proofs and Programs

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

AvPaul Callaghan,Zhaohui Luo m. fl.

Häftad, Engelska, 2002

689 kr

Skickas inom 10-15 vardagar