机译:时间系统系统网络和逻辑程序设计
Institute of Information Systems 184/3, Vienna University of Technology, A-1040 Vienna, Austria;
phylogenetics; historical linguistics; Indo-European languages; answer set programming; constraint logic programming;
机译:基于投影时态逻辑的原子块时态规划模型
机译:系统发育:使用逻辑编程创建,操纵和发展系统发育生物学工作流的实验
机译:CDAOStore:使用逻辑编程和Web服务的系统发生库
机译:在桌面上加速系统发育计算:在可编程逻辑中执行UPGMA的实验
机译:过程理论(模型,证明系统,编程语言,程序综合,时间逻辑)。
机译:从封面开始:基于氮信号传导和在植物中使用的动态调控网络的时间转录逻辑
机译:时间系统发育网络与逻辑程序设计
机译:扩展区间时序逻辑和时态逻辑程序设计的成帧技术