题名:
|
面向对象逻辑语言中的非单调推理及其对常识推理支持 / 李晓敏著 , |
语种:
|
chi |
载体形态:
|
62页 插图 26cm |
出版发行:
|
出版地: 长沙 出版社: 国防科技大学研究生院 出版日期: 1992 |
主要责任者:
|
李晓敏 著 |
附注:
|
指导教师:刘凤歧教授 |
索书号:
|
1 |