Theorem Proving in Higher Order Logics
Editat de Stefan Berghofer et al.
4 aug 2009
Paperback
Preț: 347.39 lei 434.23 lei
6-8 săpt.
-20%
Cărți de Makarius Wenzel
Intelligent Computer Mathematics
Editat de Johan Jeuring et al.
27 iun 2012
Paperback
Preț: 332.01 lei 415.02 lei
6-8 săpt.
-20%