机译:杂散的结构完整的超级监测系统
Metropolitan Telecommun Warren NJ 07059 USA;
Superintuitionistic logic; Deductive system; Admissible rule; structural completeness; Hereditary structural completeness; Heyting algebra; Primitive quasivariety; Weakly projective algebra;
机译:杂散的结构完整的超级监测系统
机译:完善而完整的演绎系统,用于ctl *验证*
机译:指数和再生核系统的遗传完整性
机译:一个命题微积分正式演绎系统L〜U通用逻辑及其完整性
机译:完整的概率逻辑演绎系统,应用于Harsanyi型空间。
机译:演绎推理脑网络:一种基于坐标的演绎推理中神经签名的荟萃分析
机译:遗传结构完整的超模范演绎系统
机译:aUTODRaW:aUTOKON的交互式图形系统,用于查看和操作结构模型数据到完整的图纸文档(国家造船研究计划)。