Proof Assistants and Their Applications in Mathematics and Computer Science
Editat de Assia Mahboubi et al.
12 feb 2026
Hardback
Preț: 465.68 lei 561.06 lei
Nepublicat încă
-17% Precomandă
Computer Science Foundations and Applied Logic