Cărți de F.D. Kamareddine

Thirty Five Years of Automating Mathematics

Applied Logic Series, nr. 28

Editat de F.D. Kamareddine

30 noi 2003

Preț: 648^.74 lei 763^.22 lei

6-8 săpt.

-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ț: 1117^.99 lei 1363^.40 lei

6-8 săpt.

-18%