Cărți de Zhaohui Luo

Computation and Reasoning: A Type Theory for Computer Science

International Series of Monographs on Computer Science, nr. 11

Autor Zhaohui Luo

30 mar 1994

Preț: 641^.95 lei 802^.44 lei

6-8 săpt.

-20%

Modern Perspectives in Type-Theoretical Semantics

Studies in Linguistics and Philosophy, nr. 98

Editat de Stergios Chatzikyriakidis et al.

13 feb 2017

Preț: 593^.86 lei 781^.39 lei

38-44 zile

-24%

Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

Lecture Notes in Computer Science, nr. 2277

Editat de Paul Callaghan et al.

20 feb 2002

Preț: 323^.93 lei 404^.90 lei

6-8 săpt.

-20%