Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 245 KB, PDF document
Original language | English |
---|---|
Title of host publication | Workshop on Automated Mathematical Theory Exploration (Automatheo) |
Publisher | Automatheo - IJCAR 2010 |
Publication status | Published - 2010 |
ID: 152151