Filtre: Springer Nature B.V.

Cărți de Alexander Leitsch

Automated Model Building

Autor Ricardo Caferra et al.

13 sep 2004

Preț: 956^.55 lei 1166^.53 lei

6-8 săpt.

-18%

Methods of Cut-Elimination

Trends in Logic, nr. 34

Autor Matthias Baaz et al.

25 feb 2013

Preț: 643^.63 lei 757^.22 lei

6-8 săpt.

-15%