Filtre:

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ț: 593^.72 lei 934^.03 lei

40-51 zile

-36%

Types for Proofs and Programs

Editat de Paul Callaghan et al.

20 feb 2002

Preț: 319^.92 lei 399^.90 lei

43-57 zile

-20%

Modern Perspectives in Type-Theoretical Semantics

Studies in Linguistics and Philosophy, nr. 98

Editat de Stergios Chatzikyriakidis et al.

13 iul 2018

Preț: 653^.98 lei 860^.51 lei

38-44 zile

-24%