Department of Computer Science California State Polytechnic University Pomona, California, USA;
Department of Computer Science University of Bergen Bergen, Norway;
机译:时空数据库的一阶完整和计算完整查询语言
机译:具有SKOLEM函数的查询查询问题的特定解的生成
机译:在存在Skolem子句绑定的情况下计算对假设查询的关键字答案
机译:查询Skolem机计的完整性
机译:一种预测锂离子电池燃烧的完整机器学习方法
机译:使用Web查询和机器学习对便携式颗粒物监测设备进行校准
机译:抽象状态机和计算完整的查询语言