Theory and Applications of Satisfiability Testing – SAT 2018

21st International Conference, Oxford, UK, July 9–12, 2018, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Theoretical Computer Science and General Issues
Lecture Notes in Computer Science

Sprache(n): Englisch

ISBN: 978-3-319-94143-1 / 978-3319941431 / 9783319941431

Verlag: Springer International Publishing

Erscheinungsdatum: 26.06.2018

Seiten: 452

Auflage: 1

Herausgegeben von Christoph M. Wintersteiger, Olaf Beyersdorff

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück