20th International Conference on Automated Deduction
Event name
20th International Conference on Automated Deduction
Start date
22-07-2005
End date
27-07-2005
Location
Tallinn, Estland
Country
Austria
Event format Veranstaltungsformat
On Site