Foredrag
4. juli 2004
IJCAR 2004 Doctoral Programme, University College Cork, Cork, Ireland

Uniform Variable Splitting

Presentasjon av artikkelen Uniform Variable Splitting under doktorgradsprogrammet for International Joint Conference on Automated Reasoning (Wikipedia).