Datum prijs | 30 jun. 2006 |
---|---|
Originele taal | Engels |
Begeleider | A.M. Cohen (Afstudeerdocent 1) & S.H. Murray (Afstudeerdocent 2) |
Automatic proofs of graph nonisomorphism
Scriptie/Masterproef: Master
Scriptie/Masterproef: Master
Datum prijs | 30 jun. 2006 |
---|---|
Originele taal | Engels |
Begeleider | A.M. Cohen (Afstudeerdocent 1) & S.H. Murray (Afstudeerdocent 2) |