题名:
自然数的紧化延伸机器证明系统
/ 郁文生，窦国威著 ,
ISBN:
978-7-03-077545-0 价格： 288
载体形态:
17,573页
出版发行:
出版地： 出版社：
科学出版社
出版日期：