Roger Antonsen
Om
Foredrag
Bøker
Presse
Undervisning
Forskning
Kunst
Blogg
EN
NO
Variable Splitting for Automated Reasoning
Foredrag
18. January 2008, kl. 10.15
Logikkseminar, Universitetet i Oslo