...
机译:范畴论和假设论:对标准语义学的一些基本假设的批判
Consequence; Definitional reflection; Inference; Proof-theoretic semantics;
机译:范畴论和假设论:对标准语义学的一些基本假设的批判
机译:范畴论和假设论:对标准语义学的一些基本假设的批判
机译:汉斯·凯尔森基本假说标准和赫伯特·哈特承认规则:法律体系有效性标准之间的异同
机译:影响软件众包中知识管理的因素分类分类:假设框架
机译:逻辑程序的假设语义
机译:重新验证和批判有关尿液样本采集方法样本质量和污染的假设
机译:假设和分类认知规范
机译:分类语义作为程序转换的基础