Automated proof of theorems in geometries over division rings

  • B.J. Conijn

Student thesis: Bachelor

Abstract

Date of Award2011
Original languageEnglish
SupervisorHans J.M. Sterk (Supervisor 1)

Cite this

'