International Conference on Automated Deduction (CADE '09)

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Periode4. aug. 2009 - 7. aug. 2009
BegivenhedstypeKonference
Konferencenummer22
PlaceringMontreal, Canada