Research into Knot Theory and Computer Proof

    Activiteit: Research and Teaching at External Organisation

    Periode1 okt. 200630 nov. 2007
    Gehouden opUniversity of Bonn, Germany