—. BY HAROLD T. SMITH
索书号:C931.5/S649
标准编码:0-471-86148-0
出版信息:,JOHN WILEY & SONS ,INC. c.1985 :Nyu
—BY ZANE K. QUIBLE
索书号:C931.4/QZK-4
标准编码:0-13-007212-5
出版信息:,PRENTICE-HALL,INC 1989 :New Jersey
—BY ZANE K. QUIBLE
索书号:C931.4/QZK-4
标准编码:0-13-007212-5
出版信息:,PRENTICE-HALL,INC 1989 :New Jersey
—BY ZANE K. QUIBLE
索书号:C931.4/QZK-4
标准编码:0-13-007212-5
出版信息:,PRENTICE-HALL,INC 1989 :New Jersey
—B. LEWIS KELLING, NORMAN F. KALLAUS.
索书号:C931.4/KBL-11
标准编码:0-538-71157-4
出版信息:: SOUTH-WESTERN PUBLISHING CO., c1996. Cincinnati
—. BY ZANE QUIBLE
索书号:C931.4/Q6
标准编码:0-13-007212-5
出版信息:,PRENTICE-HALL,INC 1989 :New Jersey
—NORMAN F. KALLAUS.
索书号:C931.4/KNF-10
标准编码:0-538-70433-0
出版信息:: SOUTH-WESTERN PUBLISHING CO., 1992. Cincinnato
—BY TODD COMEN
索书号:F719/CT
标准编码:978-0-86612-256-6
出版信息:MICHIGAN 2003
—J鑥RGEN RICHTER-GEBERT, DONGMING WANG, (EDS.).
索书号:TP181/R-GJ
标准编码:3540425985
出版信息:SPRINGER, 2001. Berlin ; London :
主题词: GEOMETRYAUTOMATIC THEOREM PROVINGLOGIC, SYMBOLIC AND MATHEMATICAL
—/ JOHN CORBIN.
索书号:G250.7-62/DAL-2
标准编码:1-55570-050-0
出版信息:: NEAL-SCHUMAN PUB., c1989. New York