搜索筛选:
搜索耗时1.6978秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[会议论文] 作者：龙慧云;许道云;,
来源：2005中国计算机大会 年份：2005
对于一个命题逻辑 P ，如果存在一个函数rank : HP → N（其中 HP 是 P 上的原子集合），使得 P中每一条形如 a ← a1,...,am,not(b1),...,not(bn) 的子句，对于任意的 (1≤ i ≤ m,1≤...
相关搜索：
