Del 12178 - Lecture Notes in Computer Science
Theory and Applications of Satisfiability Testing – SAT 2020
23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings
Häftad, Engelska, 2020
709 kr
Skickas inom 10-15 vardagar
Luca Pulina – författare
Visar alla böcker från författaren .
1 produkt
1 produkt