Selected Topics in Geometry with Classical vs. Computer Proving

by

  • Publisher: WSPC
  • eText ISBN: 9789813107038, 9813107030