图灵出版SMT技术讲解和说明,有书签,222页27.2M。。