[직수입양서]
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
[ Paperback ]
[직수입양서]
Abstraction, Reformulation, and Approximation: 4th International Symposium, Sara 2000 Horseshoe Bay, Usa, July 26-29, 2000 Proceedings
[ Paperback ]
[직수입양서]
Principles and Practice of Constraint Programming - Cp 2001: 7th International Conference, Cp 2001, Paphos, Cyprus, November 26 - December 1, 2001, Pr
[ Paperback ]