Joint Automated Reasoning Workshop and Deduktionstreffen

TitleJoint Automated Reasoning Workshop and Deduktionstreffen
Event date23 to end of 24 Jul 2014
LocationVienna