Browse wiki
From Semantic Portal Wiki
| The annual sumo reasoning prizes at casc |
| Author | Adam Pease +, Geoff Sutcliffe +, Nick Siegel +, Steven Trac + |
|---|---|
| Bibtype | inproceedings + |
| Booktitle | PAAR/ESHOL + |
| Doi | http://ceur-ws.org/Vol-373/paper-05.pdf + |
| Key | dblp:conf/cade/peasesst08 + |
| Modification dateThis property is a special property in this wiki. | 9 July 2009 14:27:21 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/cade/PeaseSST08 + |
| Tag | Computer science + |
| Title | The Annual SUMO Reasoning Prizes at CASC + |
| Year | 2008 + |
| Categories | Proceeding Paper, Publication |
| hide properties that link here |
| No properties link to this page. |
