b-typed simple derivation
...辑;B类型简单导出;原子简单导出;可靠性;可替换性定理 [gap=868]Key words: typed first-order logic; B-typed simple derivation; atomic simple derivation;reliability; exchangeability theorem ..
基于1个网页-相关网页
b-typed simple derivation
b型简单导数
以上为机器翻译结果，长、整句建议使用 人工翻译 。