Casc-j3 - the 3rd ijcar atp system competition
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|casc-j3 - the 3rd ijcar atp system competition }}
- [[]]
bibtex
{{#vardefine:pagename|Casc-j3 - the 3rd ijcar atp system competition }}{{#vardefine:key| }}
abstract:
download:
- paper:
- slides:
Facts about Casc-j3 - the 3rd ijcar atp system competitionRDF feed
| Author | Geoff Sutcliffe + |
| Bibtype | inproceedings + |
| Booktitle | IJCAR + |
| Doi | http://dx.doi.org/10.1007/11814771_46 + |
| Key | dblp:conf/cade/sutcliffe06 + |
| Pages | 572-573 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/cade/Sutcliffe06 + |
| Tag | Computer science + |
| Title | CASC-J3 - The 3rd IJCAR ATP System Competition + |
| Year | 2006 + |
