Application of symbolic logic to the design axioms
- 31 December 1985
- journal article
- Published by Elsevier in Robotics and Computer-Integrated Manufacturing
- Vol. 2 (1) , 55-64
- https://doi.org/10.1016/0736-5845(85)90008-0
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Process planning based on information conceptRobotics and Computer-Integrated Manufacturing, 1984
- Developing expert systems builders in logic programmingNew Generation Computing, 1984
- PROLOG based expert systemNew Generation Computing, 1983
- Measures of Functional Coupling in DesignJournal of Engineering for Industry, 1982
- Qualitative and Quantitative Use of Design and Manufacturing AxiomsCIRP Annals, 1982
- On an Axiomatic Approach to Manufacturing and Manufacturing SystemsJournal of Engineering for Industry, 1978
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965