Hypermaps and their use in the formalized four-colour theorem proof

  • Jan H. Heemstra

Scriptie/Masterproef: Bachelor

Samenvatting

Datum prijs4 jul 2018
Originele taalEngels
BegeleiderJ.H. (Herman) Geuvers (Afstudeerdocent 1) & Rudi A. Pendavingh (Afstudeerdocent 2)

Citeer dit

'