DCC-FC CRACS University of Porto, Portugal;
DCC-FC CRACS University of Porto, Portugal;
tabling logic programming; table space; implementation;
机译:基于组合排列表示,标记表和USCI-CF的标记表和USCI-CF(单位绑定的周期指数)表格
机译:标记表和USCI-CF的标准化(单位绑定的循环指数,具有手性拟合的索引)来自不同O-H骨架的表格
机译:Gridtables:一个单尺寸适合的H〜2TAP数据存储
机译:适合表真的说话吗?一系列实验,以了解适合表是否在进化任务期间有用
机译:座席:高等教育中学生与学术事务合作与伙伴关系的潜伏价值和收益。
机译:与10-11岁的物理活跃的儿童相比常规乒乓球实践与身体健康的好处
机译:压缩FITs二进制表的平铺表公约