题名:
数理逻辑引论与归结原理   Shu Li Luo Ji Yin Lun Yu Gui Jie Yuan Li / 王国俊著 ,
ISBN:
7-03-011579-1 价格: CNY29.00
语种:
chi
载体形态:
216页 23cm
出版发行:
出版地: 北京 出版社: 科学出版社 出版日期: 2003.9
主题词:
数理逻辑  
主题词:
归结方法  
中图分类法:
O141 版次: 4
主要责任者:
王国俊 Wang Guo Jun 著
索书号:
O141/1013