Implementing Mathematics with the Nuprl Proof Development System
Autor R. L. Constable
Paperback
Preț: 92.70 lei
22-36 zile
Cărți de R. L. Constable
An Introduction to the PL/CV2 Programming Logic
Autor R. L. Constable et al.
apr 1982
Paperback
Preț: 316.95 lei 396.20 lei
17-23 zile | 5-11 zile
-20%