A Modern Perspective on Type Theory
Autor F. D. Kamareddine et al.
9 iun 2004
Hardback
Preț: 1158.76 lei 1413.12 lei
6-8 săpt.
-18%
F. D. Kamareddine
Thirty Five Years of Automating Mathematics
Editat de F. D. Kamareddine
30 noi 2003
Hardback
Preț: 668.38 lei 786.32 lei
6-8 săpt.
-15%