Variable Splitting for Automated Reasoning

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