Automated generation of interesting theorems

From Semantic Portal Wiki

Jump to: navigation, search

{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}

Edit

Reference: {{#vardefine:pagename|automated generation of interesting theorems }}

  1. [[]]

bibtex 

{{#vardefine:pagename|Automated generation of interesting theorems }}{{#vardefine:key| }}

abstract:


download:

  • paper:
  • slides:
Retrieved from "http://tw.rpi.edu/portal/Automated_generation_of_interesting_theorems"
Facts about Automated generation of interesting theoremsRDF feed
AuthorYury Puzis  +, Yi Gao  +, and Geoff Sutcliffe  +
Bibtypeinproceedings  +
BooktitleFLAIRS Conference  +
Keydblp:conf/flairs/puzisgs06  +
Pages49-54  +
Sourcehttp://dblp.uni-trier.de/rec/bibtex/conf/flairs/PuzisGS06  +
TagComputer science  +
TitleAutomated Generation of Interesting Theorems  +
Year2006  +
Personal tools
Semantic Web Community
Tetherless World constellation
maintenance