A predicate logic approach to CAD/CAM modeling

Alan H. Bond. A predicate logic approach to CAD/CAM modeling. AI EDAM, 6(1):39-58, 1992. [doi]

Abstract

Abstract is missing.