Showing 1 - 1 results of 1 for search '"first-order logic(一阶逻辑)"', query time: 0.29s Refine Results
  1. 1
    Multi-clause deduction algorithm based on dynamic combination optimization of strategies and its application(策略动态组合优化多元演绎算法及应用)

    Multi-clause deduction algorithm based on dynamic combination optimization of strategies and its application(策略动态组合优化多元演绎算法及应用) by 郭海林(GUO Hailin), 曹锋(CAO Feng), 易见兵(YI Jianbing), 李俊(LI Jun), 吴贯锋(WU Guanfeng)

    Published 2024-11-01
    Subjects: “…first-order logic(一阶逻辑)…”
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: