Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Theory and Applications of Satisfiability Testing - SAT 2013 : 9783642390715, 3642390714 および 印刷版のISBNは 9783642390708, 3642390706. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Theory and Applications of Satisfiability Testing - SAT 2013 : 9783642390715, 3642390714 および 印刷版のISBNは 9783642390708, 3642390706. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
