|
题名:
|
基于归结方法的自动推理 / 刘叙华著 , |
|
ISBN:
|
7-03-003927-0 价格： 16.90 |
|
语种:
|
chi |
|
载体形态:
|
499 无图表 20cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 1994 |
|
中图分类法:
|
TP15 版次： |
|
主要责任者:
|
刘叙华著 |
|
索书号:
|
5 |