Empirically successful automated reasoning: applications issue

From Semantic Portal Wiki

Jump to: navigation, search

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

Edit

Reference: {{#vardefine:pagename|empirically successful automated reasoning: applications issue }}

  1. [[]]

bibtex 

{{#vardefine:pagename|Empirically successful automated reasoning: applications issue }}{{#vardefine:key| }}

abstract:


download:

  • paper:
  • slides:
Retrieved from "http://tw.rpi.edu/portal/Empirically_successful_automated_reasoning:_applications_issue"
Facts about Empirically successful automated reasoning: applications issueRDF feed
AuthorBernd Fischer  +, Geoff Sutcliffe  +, and Stephan Schulz  +
Bibtypearticle  +
Doihttp://dx.doi.org/10.1007/s10817-006-9056-8  +
JournalJ. Autom. Reasoning  +
Keydblp:journals/jar/fischerss06a  +
Number1-2  +
Pages1  +
Sourcehttp://dblp.uni-trier.de/rec/bibtex/journals/jar/FischerSS06a  +
TagComputer science  +
TitleEmpirically Successful Automated Reasoning: Applications Issue  +
Volume37  +
Year2006  +
Personal tools
Semantic Web Community
Tetherless World constellation
maintenance