机译:潜在的无限模型和本体论中立逻辑
Department of Mathematics Lehigh University;
ontologically neutral logic; potential infinite model; potential infinite validity; generalized tautology;
机译:楼宇自动化系统中基于本体的控制逻辑建模
机译:利用统一建模语言(UML)作为制造中基于Common Logic的本体的初步设计工具
机译:基于模糊逻辑控制策略的双三级转换器中性点势平衡
机译:绕长轴旋转的三轴重力势中的反常轨道:VLA中性氢观测以及围绕星系NGC 2685和NGC 660的倾斜环的建模
机译:蛋白质中性网络基础的潜在进化潜能的结构模型
机译:基于本体的建筑自动化系统建模或控制逻辑
机译:在电子束注入中性气体和等离子体背景期间,航天器充电电位的pIC代码建模,第1部分