大桔灯文库logo

#逻辑编程语言# 相关文档

  • Logicalreasoningsystems.ppt

    CS 561 Session 19Logical reasoning systemsTheorem provers and logic programming languagesProduction systemsFrame systems and semantic networksDescription logic systems1CS 561 Session 19Logical rea

    日期:2022-04-25 格式:.pptx 页数:29页 大小:648.5KB 发布:
  • 1
  • 1/1页

客服

顶部