Login / Signup
A predicate logic approach to CAD/CAM modeling.
Alan H. Bond
Published in:
Artif. Intell. Eng. Des. Anal. Manuf. (1992)
Keyphrases
</>
predicate logic
cad cam
knowledge representation and reasoning
temporal logic
object oriented
data manipulation
model checking
computer aided design
machine learning
description logics
data processing
complex objects