formal logic; artificial intelligence; set theory; prime implicates; prime implicants; Davis and Putnam procedure; conjunctive normal form; minimized disjunctive normal form; unionist product; algorithm;
机译:素蕴和素蕴:从命题逻辑到模态逻辑
机译:素蕴和素蕴:从命题逻辑到模态逻辑
机译:非相干动态系统中素数蕴含量识别的计算框架
机译:通过戴维斯和普特南程序的变体计算素数蕴涵和素数蕴涵
机译:重试,主要含义和树宽。
机译:埃博拉-GP DNA Prime Rad5-GP提升:主要频率和素质/升压时间间隔对非人类灵长类动物的免疫应答的影响
机译:prime暗示和主要蕴涵:从命题到模态逻辑