Cărți de Marc Bezem

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings

Lecture Notes in Computer Science, nr. 664

Editat de Marc Bezem et al.

3 mar 1993

Preț: 327^.36 lei 409^.20 lei

6-8 săpt.

-20%

Computer Science Logic

Editat de Dirk Van Dalen et al.

18 iun 1997

Preț: 330^.79 lei 413^.49 lei

6-8 săpt.

-20%