Search alternatives:
"theorem proving 定理证明 " » "theorem improving 定理证明 " (Expand Search), "theorem providing 定理证明 " (Expand Search)
Showing 1 - 1 results of 1 for search '"theorem proving(定理证明)"', query time: 0.14s 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:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: