First International Workshop on Mathematical Theory Exploration [AUTOMATHEO 2009]

General Information

Conference Date: 29/06/2009 - 30/06/2009

Venue: RISC, Hagenberg, Austria