Theory and Applications of Satisfiability Testing – SAT 2018

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 is geschreven door Author en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Theory and Applications of Satisfiability Testing – SAT 2018 zijn 9783319941448, 3319941445 en de ISBN's voor gedrukt materiaal zijn 9783319941431, 3319941437. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

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 is geschreven door Author en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Theory and Applications of Satisfiability Testing – SAT 2018 zijn 9783319941448, 3319941445 en de ISBN's voor gedrukt materiaal zijn 9783319941431, 3319941437. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.