*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. 1st edition 2018 / Taschenbücher für 53.49€ / Aus dem Bereich: Bücher-English, International-Gebundene Ausgaben Taschenbücher
Hugendubel