Publication | Closed Access
On the inference of approximate programs
12
Citations
20
References
1990
Year
EngineeringApproximate ProgramsAutomated ReasoningProgram AnalysisApproximate ComputingFormal MethodsComputational ComplexityProbabilistic ComputationComputer ScienceProbabilistic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1