Pages that link to "Item:Q3694696"
From MaRDI portal
The following pages link to A Complete Axiomatization of Computer Arithmetic (Q3694696):
Displaying 3 items.
- Zur Axiomatisierung logarithmischer und halblogarithmischer Zahlensysteme. (On the axiomatization of logarithmic and semi-logarithmic number systems) (Q757010) (← links)
- On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency (Q3416110) (← links)
- Algorithmic Procedures (Q4018437) (← links)