Theory and Applications of Satisfiability Testing - SAT 2014

17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Theory and Applications of Satisfiability Testing - SAT 2014 lauten 9783319092843, 3319092847 und die Druck-ISBNs lauten 9783319092836, 3319092839. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Theory and Applications of Satisfiability Testing - SAT 2014 lauten 9783319092843, 3319092847 und die Druck-ISBNs lauten 9783319092836, 3319092839. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.