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