DBLP Record 'conf/flairs/PuzisGS06'

BibTeX

@inproceedings{DBLP:conf/flairs/PuzisGS06,
  author    = {Yury Puzis and
               Yi Gao and
               Geoff Sutcliffe},
  title     = {Automated Generation of Interesting Theorems},
  booktitle = {FLAIRS Conference},
  year      = {2006},
  pages     = {49-54},
  crossref  = {DBLP:conf/flairs/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/flairs/2006,
  editor    = {Geoff Sutcliffe and
               Randy Goebel},
  title     = {Proceedings of the Nineteenth International Florida Artificial
               Intelligence Research Society Conference, Melbourne Beach,
               Florida, USA, May 11-13, 2006},
  booktitle = {FLAIRS Conference},
  publisher = {AAAI Press},
  year      = {2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}