Del 9710 - Lecture Notes in Computer Science
Theory and Applications of Satisfiability Testing – SAT 2016
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Häftad, Engelska, 2016
729 kr
Skickas inom 10-15 vardagar
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
729 kr
Skickas inom 10-15 vardagar