The 4th ijcar automated theorem proving system competition - casc-j4
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|the 4th ijcar automated theorem proving system competition - casc-j4 }}
- [[]]
bibtex
{{#vardefine:pagename|The 4th ijcar automated theorem proving system competition - casc-j4 }}{{#vardefine:key| }}
abstract:
download:
- paper:
- slides:
Facts about The 4th ijcar automated theorem proving system competition - casc-j4RDF feed
| Author | Geoff Sutcliffe + |
| Bibtype | article + |
| Doi | http://dx.doi.org/10.3233/AIC-2009-0441 + |
| Journal | AI Commun. + |
| Key | dblp:journals/aicom/sutcliffe09 + |
| Number | 1 + |
| Pages | 59-72 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/journals/aicom/Sutcliffe09 + |
| Tag | Computer science + |
| Title | The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4 + |
| Volume | 22 + |
| Year | 2009 + |
