版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
Theory and Applications of Satisfiability Testing - SAT 2006
丛 书 名：Lecture Notes in Computer Science
版本说明：2006
I S B N：(纸本) 9783540372066
出 版 社：Springer Berlin Heidelberg
出 版 年：2006年
页 数：xii, 438 p. :页
主 题 词：Propositional calculus Congresses. Decision making Congresses. Computer algorithms Congresses. Algebra, Boolean Congresses.
学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
