Publication | Closed Access
Decomposition through formalization in a product space
258
Citations
12
References
1984
Year
Mathematical ProgrammingFormal NotationEngineeringRepresentation TheoryAutomated ReasoningFormal MethodsComputer ScienceProduct SpaceFormal SystemFormalization
| Year | Citations | |
|---|---|---|
Page 1
Page 1