A Representation Model of Geometrical Tolerances Based on First Order Logic

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]

Authors

Yuchu Qin

This author has not been identified. Look up 'Yuchu Qin' in Google

Yanru Zhong

This author has not been identified. Look up 'Yanru Zhong' in Google

Liang Chang

This author has not been identified. Look up 'Liang Chang' in Google

Meifa Huang

This author has not been identified. Look up 'Meifa Huang' in Google