DISCRETE MATHEMATICS AND LTS APPLICATIONS (FIFTH EDITION)
(美)Kenneth H.Rosen著2003 年出版912 页ISBN:7111115031
本书介绍了离散数学的理论、方法及其实际应用。
COMBINATORIAL MATHEMATICS:PROCEEDINGE OF THE THIRD INTERNATIONAL CONFERENCE
1989 年出版436 页ISBN:0897664922
KNOTS AND SURFACES A GUIDE TO DISCOVERING MATHEMATICS
2222 年出版101 页ISBN:0821804510
IMPLEMENTING MATHEMATICS WITH THE NUPRL PROOF DEVELOPMENT SYSTEM
2222 年出版299 页ISBN:0134518322
FINITE MATHEMATICS AND CALCULUS WITH APPLICATIONS THIRD EDITION
1989 年出版1098 页ISBN:0673382559
IAS/PARK CITY MATHEMATICS SERIES Low Dimensional Topology
2009 年出版316 页ISBN:9780821847664
FUNDAMENTALS OF TECHNICAL MATHEMATICS WITH CALCULUS SECOND EDITION
1989 年出版1000 页ISBN:0070355673
Mathematics Mechanization: Mechanical Geometry Theorem-Proving
Mechanical Geometry Problem-Solving and Polynomial Equations-Solving2000 年出版420 页ISBN:7030066863