Uniform Variable Splitting

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

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