Publication | Closed Access
Variable precision logic
121
Citations
10
References
1986
Year
Real Data TypePrecision MeasurementEngineeringAutomated ReasoningUncertainty QuantificationVerificationFormal MethodsAccuracy And PrecisionVariable Precision LogicComputer ScienceFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1