Publication | Closed Access
An exact algorithm to extract the generalized physical contradiction
13
Citations
9
References
2014
Year
Paraconsistent LogicEngineeringComputational Complexity TheoryAutomated ReasoningProof ComplexityFormal MethodsFormal VerificationGeneralized Physical Contradiction
| Year | Citations | |
|---|---|---|
Page 1
Page 1