Normal view
MARC view
- Computer arithmetic
Computer arithmetic (Topical Term)
Machine generated authority record.
Work cat.: (OSt)216033: Boldo, Sylvie, author. https://id.oclc.org/worldcat/entity/E39PBJxhjHPrYg9f68v3hVfcyd 34008, Computer arithmetic and formal proofs :