计算机科学 ›› 1997, Vol. 24 ›› Issue (6): 16-22.

• 计算机网络与信息安全 • 上一篇    下一篇

逻辑程序中的否定问题与非单调逻辑

陈荣 孙吉贵   

  1. 吉林大学计算机科学系 吉林大学计算机科学系
  • 出版日期:2018-11-17 发布日期:2018-11-17

  • Online:2018-11-17 Published:2018-11-17

关键词: 逻辑程序 否定问题 非单调逻辑 人工智能

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!