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ă
Cărți de Jasmin Blanchette
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Editat de Jasmin Blanchette et al.
17 iul 2022
Paperback
Preț: 315.07 lei 393.84 lei
6-8 săpt.
-20%