Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings
Editat de Luca Pulina et al.
iul 2020
Paperback
Preț: 339.15 lei 423.94 lei
6-8 săpt.
-20%
Luca Pulina