Cărți de Makarius Wenzel

Theorem Proving in Higher Order Logics

Editat de Stefan Berghofer et al.

4 aug 2009

Preț: 334^.04 lei 417^.55 lei

6-8 săpt.

-20%

Intelligent Computer Mathematics

Editat de Johan Jeuring et al.

27 iun 2012

Preț: 332^.01 lei 415^.02 lei

6-8 săpt.

-20%