Concepedia

The Logic of Computer Arithmetic.

Leon Levine, Iván Flores

American Mathematical Monthly · 1965 · 71 citations · 0 references

Open access

Concepts

Computational LogicEngineeringAutomated ReasoningFormal MethodsFormal Mathematical ReasoningComputer ScienceComputer ArithmeticModel Of Computation