Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer arithmetic. --- Floating-point arithmetic. --- Coq (Electronic resource) --- Computer arithmetic --- Digital arithmetic --- Digital computer arithmetic --- Arithmetic --- Computer architecture