%0 Conference Paper %1 conf/flairs/PuzisGS06 %A Puzis, Yury %A Gao, Yi %A Sutcliffe, Geoff %B FLAIRS Conference %D 2006 %E Sutcliffe, Geoff %E Goebel, Randy %I AAAI Press %K %P 49-54 %T Automated Generation of Interesting Theorems. %U http://dblp.uni-trier.de/db/conf/flairs/flairs2006.html#PuzisGS06

@inproceedings{conf/flairs/PuzisGS06, added-at = {2023-12-13T01:44:59.000+0100}, author = {Puzis, Yury and Gao, Yi and Sutcliffe, Geoff}, biburl = {https://www.bibsonomy.org/bibtex/2f170404273fa59c4d16fa904c28d3c48/admin}, booktitle = {FLAIRS Conference}, crossref = {conf/flairs/2006}, editor = {Sutcliffe, Geoff and Goebel, Randy}, ee = {http://www.aaai.org/Library/FLAIRS/2006/flairs06-009.php}, interhash = {75e4f115a52eea75d46a1ea0a6c3ec9a}, intrahash = {f170404273fa59c4d16fa904c28d3c48}, keywords = {}, pages = {49-54}, publisher = {AAAI Press}, timestamp = {2023-12-13T01:44:59.000+0100}, title = {Automated Generation of Interesting Theorems.}, url = {http://dblp.uni-trier.de/db/conf/flairs/flairs2006.html#PuzisGS06}, year = 2006 }