Edinburgh Research Explorer

AUTOMATHEØ Workshop on Automated Mathematical Theory Exploration 2009

Event: Conference

Duration29 Jun 2009 - 30 Jun 2009
CityHagenberg
CountryAustria

ID: 5968946