Conclusions about the cade-13 atp system competition
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|conclusions about the cade-13 atp system competition }}
- [[]]
bibtex
{{#vardefine:pagename|Conclusions about the cade-13 atp system competition }}{{#vardefine:key| }}
abstract:
download:
- paper:
- slides:
Facts about Conclusions about the cade-13 atp system competitionRDF feed
| Author | Francis Jeffry Pelletier +, Geoff Sutcliffe +, and Christian B. Suttner + |
| Bibtype | article + |
| Journal | J. Autom. Reasoning + |
| Key | dblp:journals/jar/pelletierss97 + |
| Number | 2 + |
| Pages | 287-296 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/journals/jar/PelletierSS97 + |
| Tag | Computer science + |
| Title | Conclusions about the CADE-13 ATP System Competition + |
| Volume | 18 + |
| Year | 1997 + |
