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