Shu li luo ji yin lun yu gui jie yuan li
By: Wang Guojun zhu
Edition: Di 2 ban
Series: Xian dai shu xue ji chu cong shu -- 99
Publisher: Ke xue chu ban she
Published: 2006
Place of publication: Beijing
Language: chi
Number of pages: 258
ISBN-13: 9787030165831
Subjects: Automatic theorem proving; Symbolic and mathematical Logic
Notes: "Shanxi shi fan da xue you xiu yan jiu sheng jiao cai jian she ji jin zi zhu chu ban."

Includes bibliographical references (p. [250]) and index.