题名	责任者	出版社	索书号
计算机辅助逻辑设计理论	刘明业编著	科学出版社	TN710.3/063