...
机译:用于计算论证的通用半结构化形式主义:定义,属性和应用示例
Univ Brescia, Dipartimento Ingn Informaz, Via Branze 38, I-25123 Brescia, Italy;
Univ Brescia, Dipartimento Ingn Informaz, Via Branze 38, I-25123 Brescia, Italy;
Zhejiang Univ, Ctr Study Language & Cognit, Hangzhou 310028, Zhejiang, Peoples R China;
Structured argumentation; Rationality postulates; Conflicts;
机译:通过共同进化重建祖先基因组序列:形式定义,计算问题和生物学实例
机译:生物标志物方法指南:生物标志物的定义,验证和应用,包括心血管疾病的实例
机译:A.爱因斯坦,B. Podolsky和N. rosen论证的研究“量子力学不是完全理论”,Ⅲ:说明性示例和应用
机译:L̿
机译:新(零知识)参数及其在可验证计算中的应用
机译:益生菌:特性实例和特定应用
机译:对加密证明的子像长定义和应用程序的隐式计算复杂性
机译:非单调推理中的可行论证:例子和应用。