An exact algorithm to extract the generalized physical contradiction - Concepedia

Concepedia

Publication | Closed Access

An exact algorithm to extract the generalized physical contradiction

13

Citations

9

References

2014

Year

Lei Lin, Sébastien Dubois, Roland De Guio, Ivana Rasovska

International Journal on Interactive Design and Manufacturing (IJIDeM)

Paraconsistent LogicEngineeringComputational Complexity TheoryAutomated ReasoningProof ComplexityFormal MethodsFormal VerificationGeneralized Physical Contradiction

References

	Year	Citations

Page 1