Variable Splitting for Automated Reasoning

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