Publication | Closed Access
An algebraic and predicate logic approach to representation and reasoning in machine design
29
Citations
11
References
1990
Year
Applied LogicComputational LogicPredicate Logic ApproachEngineeringAutomated ReasoningFormal MethodsFirst-order LogicComputer ScienceKnowledge CompilationMachine DesignFormal VerificationLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1