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

31 mar 1994

Preț: 491^.91 lei 764^.40 lei

31-37 zile

-36%

Modern Perspectives in Type-Theoretical Semantics

Studies in Linguistics and Philosophy, nr. 98

Editat de Stergios Chatzikyriakidis et al.

13 feb 2017

Preț: 593^.88 lei 781^.42 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ț: 330^.56 lei 413^.21 lei

6-8 săpt.

-20%