版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
丛 书 名：LNCS 2919
版本说明：2004
I S B N：(纸本) 3540208518;9783540208518
出 版 社：Springer
出 版 年：2004年
页 数：xi, 530 p. :页
主 题 词：Propositional calculus Congresses. Decision making Congresses. Computer algorithms Congresses.
