题名:
符号逻辑与定理机器证明
/ 张伟编著 ,
ISBN:
978-7-5610-2971-8 价格：
出版发行:
出版地： 出版社：
辽宁大学出版社
出版日期： 1995
中图分类法:
TP31 版次：