Skip to main navigation
Skip to search
Skip to main content
University of Southern Denmark Home
Help & FAQ
Dansk
English
Home
Researchers
Research units
Research output
Activities
Projects
Datasets
Press/Media
Prizes
Teaching
Impacts
Search by expertise, name or affiliation
International Conference on Automated Deduction (CADE '09)
Schneider-Kamp, P.
(Participant)
Department of Mathematics and Computer Science
Faculty of Science
Activity
:
Attending an event
›
Conference organisation or participation
Period
4. Aug 2009
→
7. Aug 2009
Event type
Conference
Conference number
22
Location
Montreal, Canada
Show on map
X