常规逻辑相关论文
在《祖堂集》等禅籍中，记载有赵州从谂禅师与小师文远进行论义游戏比赛的公案。由于从谂禅师在论义中故意互窜混淆了关键词“胜”的......
利用常规逻辑中的归结原理给出了命题组具值指派的相容性判定的一个算法，并在其中使用了删除策略以提高归结原理的效率；从而获得了确......
所谓非标准问题,通常是指条件与问题之间缺乏常规逻辑联系的数学问题。这类问题一般难以直接利用常规的思考方法,而用分析试验法探......
针对可逆逻辑综合在设计较大规模可逆逻辑电路（ALU）时遇到的瓶颈问题。文中借用现行EDA技术的逻辑描述和验证能力,可逆逻辑门的功能......
