Publisher: Cambridge University Press
E-ISSN: 1469-1760|10|1|37-45
ISSN: 0890-0604
Source: AI EDAM, Vol.10, Iss.1, 1996-01, pp. : 37-45
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Representation and reasoning of geometric tolerances in design
AI EDAM, Vol. 11, Iss. 4, 1997-09 ,pp. :
Finite model reasoning over existential rules
Theory and Practice of Logic Programming, Vol. 17, Iss. 5-6, 2017-09 ,pp. :
Special Issue: Geometric representation and reasoning in design
AI EDAM, Vol. 11, Iss. 4, 1997-09 ,pp. :