共 50 条
- [31] THREE-DIMENSIONAL COMPUTER AIDED DESIGN OF A VERTICAL WINNOWER COMPUTER AND COMPUTING TECHNOLOGIES IN AGRICULTURE II, VOLUME 2, 2009, 295 : 1497 - +
- [33] Three Theorems, with Computer-Aided Proofs, on Three-Dimensional Faces and Quotients of Polytopes Discrete & Computational Geometry, 2000, 24 : 413 - 420