Yuchu Qin, Yanru Zhong, Liang Chang, Meifa Huang. A Representation Model of Geometrical Tolerances Based on First Order Logic. In Zhongzhi Shi, David B. Leake, Sunil Vadera, editors, Intelligent Information Processing VI - 7th IFIP TC 12 International Conference, IIP 2012, Guilin, China, October 12-15, 2012. Proceedings. Volume 385 of IFIP Advances in Information and Communication Technology, pages 234-239, Springer, 2012. [doi]
Abstract is missing.