Edinburgh Research Explorer

Member of programme committee : IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning

Activity: Participating in or organising an event typesParticipation in conference

Attending event

IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning

Duration26 Jun 20121 Jul 2012
CityManchester
CountryUnited Kingdom

Event: Conference

ID: 5732720