*Theory and Applications of Satisfiability Testing -- SAT 2012 * - 15th International Conference Trento Italy June 17-20 2012 Proceedings. Auflage 2012 / Taschenbücher für 53.49€ / Aus dem Bereich: Bücher-English, International-Gebundene Ausgaben Taschenbücher
Hugendubel