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ț: 637^.81 lei 750^.37 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ț: 1099^.13 lei 1340^.40 lei

6-8 săpt.

-18%