A Modern Perspective on Type Theory
Autor F. D. Kamareddine et al.
22 oct 2010
Paperback
Preț: 752.69 lei 917.91 lei
6-8 săpt.
-18%
F. D. Kamareddine
Thirty Five Years of Automating Mathematics
Editat de F. D. Kamareddine
22 oct 2010
Paperback
Preț: 615.40 lei 724.00 lei
6-8 săpt.
-15%