MACHINE-ASSISTED PROOFS
© ICM 2018.All rights reserved. The panel took place on the 7th August 2018. After the moderator had introduced the topic, the panelists presented their experiences and points of view, and then took questions from the floor.
| Main Authors: | , , , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
World Scientific Pub Co Pte Lt
2021
|
| Online Access: | https://hdl.handle.net/1721.1/137150 |