International Conference on Automated Deduction


TypeConference
TitleInternational Conference on Automated Deduction
Event date08 to end of 11 Aug 2017
LocationGothenburg