Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Editat de Olaf Beyersdorff et al.
26 iun 2018
Paperback
Preț: 334.30 lei 417.87 lei
6-8 săpt.
-20%
