A Modern Perspective on Type Theory: From its Origins until Today
Autor F.D. Kamareddine et al.
22 oct 2010
Paperback
Preț: 754.53 lei 920.17 lei
6-8 săpt.
-18%
Cărți de F.D. Kamareddine
Thirty Five Years of Automating Mathematics
Editat de F.D. Kamareddine
22 oct 2010
Paperback
Preț: 617.39 lei 726.35 lei
6-8 săpt.
-15%