Roger Antonsen
Home
About
Books
Talks
Teaching
Research
Art
Press
Blog
Search
CMD-K
Dark Mode
Light Mode
CTRL-D
Font
CTRL-X
Ff
Language
CTRL-E/N
Norwegian
English
Random page
CTRL-Z
Search
Search
Search
Automated Reasoning
Talk
November 7, 2007
English for Academic Purposes, University of Oslo