Del 10929 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2018
749 kr
Skickas inom 10-15 vardagar