Theory and Applications of Satisfiability Testing - SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, ... Notes in Computer Science, Band 10929)

von: Olaf Beyersdorff · Christoph M. Wintersteiger Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe) Details (USA) (siehe auch: eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle)) Details (Kanada) (siehe auch: eBook (Kindle)) ISBN: 978-3-319-94143-1 ISBN-10: 3-319-94143-7 Springer · 2018