Filtre: F.D. Kamareddine

Applied Logic Series

Thirty Five Years of Automating Mathematics

Applied Logic Series, nr. 28

Editat de F.D. Kamareddine

30 noi 2003

Preț: 623^.70 lei 733^.77 lei

43-57 zile

-15%

A Modern Perspective on Type Theory: From its Origins until Today

Applied Logic Series, nr. 29

Autor F.D. Kamareddine et al.

9 iun 2004

Preț: 1074^.51 lei 1310^.39 lei

43-57 zile

-18%