机译:逻辑程序中力法的递归表述
机译:加权不可行逻辑编程的最大理想递归语义的形式化和逻辑属性
机译:并发递归程序的时态逻辑:可满足性和模型检查
机译:在数据库和逻辑编程系统中尝试递归查询
机译:用于递归量化逻辑的逻辑编程和验证系统
机译:一种递归体-体配方,可减少用于生物聚合物建模和模拟的成对库仑力计算的计算成本。
机译:模型复杂度和问题公式对使用优化方法计算的膝盖力量的影响
机译:程序的绝对逻辑中的递归程序和指称语义
机译:计算机辅助结构工程(CasE)项目:aCI的决策逻辑表格式(美国混凝土协会)318-77用于自动约束处理的钢筋混凝土的建筑规范要求。第1卷