Evaluating general purpose automated theorem proving systems

From Semantic Portal Wiki

Jump to: navigation, search

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

Edit

Reference: {{#vardefine:pagename|evaluating general purpose automated theorem proving systems }}

  1. [[]]

bibtex 

{{#vardefine:pagename|Evaluating general purpose automated theorem proving systems }}{{#vardefine:key| }}

abstract:


download:

  • paper:
  • slides:
Retrieved from "http://tw.rpi.edu/portal/Evaluating_general_purpose_automated_theorem_proving_systems"
Facts about Evaluating general purpose automated theorem proving systemsRDF feed
AuthorGeoff Sutcliffe  +, and Christian B. Suttner  +
Bibtypearticle  +
Doihttp://dx.doi.org/10.1016/S0004-3702(01)00113-8  +
JournalArtif. Intell.  +
Keydblp:journals/ai/sutcliffes01  +
Number1-2  +
Pages39-54  +
Sourcehttp://dblp.uni-trier.de/rec/bibtex/journals/ai/SutcliffeS01  +
TagComputer science  +
TitleEvaluating general purpose automated theorem proving systems  +
Volume131  +
Year2001  +
Personal tools
Semantic Web Community
Tetherless World constellation
maintenance