机译:通过计算联合解释来解决绑架问题逻辑编程形式化,对P2P数据集成的应用以及复杂性结果
机译:使用支持向量归纳逻辑编程开发系统特定功能以对蛋白质-配体对接复合物评分的通用方法。
机译:关于允许函数符号的有限谓词逻辑程序索引集的复杂性
机译:复杂分离器功能的公制逻辑程序说明
机译:学生对学科程序设计的复杂学习中的解释。
机译:是否存在维持神经元功能完整性和生存的分子逻辑?:脂质信号传导对于神经保护性神经元转录程序是必需的。
机译:一元逻辑程序和功能复杂性
机译:功能和逻辑编程的统一和集值函数