Foredrag
18. januar 2008, kl. 10.15
Logikkseminar, Universitetet i Oslo

Variable Splitting for Automated Reasoning