The Structured Logic CAD Suite Used on the DPS7000 System.
Huy Nam NguyenJ. P. TualL. DucoussoMichel ThillP. ValletPublished in: ICCD (1994)
Keyphrases
- logic programming
- multi valued
- computer aided
- computer aided design
- structured learning
- real world
- modal logic
- structured data
- design process
- image analysis
- classical logic
- defeasible logic
- dynamic logic
- computer graphics
- object oriented
- website
- information retrieval
- set theory
- digital circuits
- predicate logic
- data sets
- epistemic logic
- proof theory