Professor (MSO) Torben Braüner
Roskilde Universitet
Institut for Mennesker og Teknologi
P.O. Box 260
4000 Roskilde
Danmark
torben @ ruc.dk
61677928
Indledende emner
Datavidenskab
Diskrete strukturer
Formelle sprog
Kunstig intelligens
Logik
Videregående emner
Artificial Intelligence
Autonomous Agents
Computational Logic
History of Computing
Knowledge Represenation
Multiagent Systems
Philosophy of Computing
Proof Theory
Theory of Computation
Type Theory

 


Data protection at SDUDatabeskyttelse på SDU