Automatic proofs of graph nonisomorphism

  • J.W. Knopper

Scriptie/Masterproef: Master

Datum prijs30 jun. 2006
Originele taalEngels
BegeleiderA.M. Cohen (Afstudeerdocent 1) & S.H. Murray (Afstudeerdocent 2)

Citeer dit

'