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