书籍 符号逻辑与定理机器证明的封面

符号逻辑与定理机器证明

张伟编著

出版社

沈阳:辽宁大学出版社

出版时间

1995

ISBN

9787561029718

标注页数

310 页

PDF页数

320 页

书籍介绍
在线购买PDF电子书