Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 109 KB, PDF document
Original language | English |
---|---|
Title of host publication | Workshop on Automated Mathematical Theory Exploration (Automatheo) |
Number of pages | 4 |
Publication status | Published - 2009 |
Event | AUTOMATHEØ Workshop on Automated Mathematical Theory Exploration 2009 - Hagenberg, Austria Duration: 29 Jun 2009 → 30 Jun 2009 |
Conference | AUTOMATHEØ Workshop on Automated Mathematical Theory Exploration 2009 |
---|---|
Country | Austria |
City | Hagenberg |
Period | 29/06/09 → 30/06/09 |
29/06/09 → 30/06/09
Hagenberg, AustriaEvent: Conference
ID: 153028