Concepedia
Publication | Closed Access
Verisimilitude by means of short theorems
11
Citations
7
References
1978
Year
EngineeringAutomated ReasoningProof ComplexityExtremal Set TheoryShort TheoremsReal Algebraic Geometry
Page 1