共 5 条
[3]
Reverse-engineering Reverse Mathematics[J] . Sam Sanders.Annals of Pure and Applied Logic . 2012
[4]
Cloud data modelling employing a unified, non-redundant triangular mesh[J] . W. Sun,C. Bradley,Y.F. Zhang,H.T. Loh.Computer-Aided Design . 2001 (2)