Laguna University Digital Library
Discover books, e-journals, theses, and special collections — all in one place.
Proof technology in mathematics research and teaching
by Hanna, Gila, Reid, David A. and De Villiers, Michael, ed. byPublished by: Switzerland : Springer , 2019
- Sublocation
- EGC
- Call Number
- 510 H1901p 2019
- Physical Desc.
- viii, 374 p.
- Note
- Includes bibliographic references and index.
- ISBN
- 978-3-030-28483-1
- Copies
- —