Uniform Variable Splitting

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

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