...
机译:代表维修的析取数据库
DEIS, Universita della Calabria, Via P. Bucci 41C, 87036 Rende (CS), Italy;
Department of Computer Science and Engineering, 201 Bell Hall, The State University of New York at Buffalo, Buffalo, NY 14260, USA;
Institute of Informatics, Wroclaw University, Przesmyckiego 20, 51-151 Wroclaw, Poland;
inconsistent databases; incomplete databases; repairs; disjunctive databases;
机译:通过分析备用图表示的正交析取范式构造组合电路故障测试
机译:在语言L中检查以不规则正态表示的公式的可满足性
机译:检查语言中以不规则正态表示的公式的可满足性
机译:Clausal Deftuctive数据库和分解演绎数据库中语义的一般框架
机译:析取演绎数据库中的访问子句树
机译:数据库指纹(DFP):一种表示分子数据库的方法
机译:用于代表维修的析取数据库
机译:转换和冷凝正常逻辑程序和析取数据库