Cărți de Makarius Wenzel

Theorem Proving in Higher Order Logics

Editat de Stefan Berghofer et al.

4 aug 2009

Preț: 347^.39 lei 434^.23 lei

43-57 zile

-20%

Intelligent Computer Mathematics

Editat de Johan Jeuring et al.

27 iun 2012

Preț: 345^.28 lei 431^.59 lei

43-57 zile

-20%