DSIC, UPV, Camino de Vera s, E-46022 Valencia, Spain;
机译:基于所需范围缩小功能逻辑程序的专业化
机译:懒函数逻辑程序的专业化
机译:功能逻辑程序的自由定理:(仅摘要)
机译:使用抽象表示来专用功能逻辑程序
机译:使用归纳逻辑编程将英语句子与抽象含义表示图对齐
机译:是否存在维持神经元功能完整性和生存的分子逻辑?:脂质信号传导对于神经保护性神经元转录程序是必需的。
机译:使用抽象表示来专门化功能逻辑程序
机译:具有运行时测试的逻辑程序的多种专业化。