|
- Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vie (Paperback, 2014)
- Uwe Egly, Carsten Sinz (엮은이)
- Springer-Verlag New York Inc | 2014년 08월 | 2014년 08월
- 76,340원 (18% 할인 / 3,820원)
- 택배로 주문하면 11월 6일 출고 변경
|
|