Browse wiki
From Semantic Portal Wiki
| Extending the tptp language to higher-order logic with automated parser generation |
| Author | Allen Van Gelder +, Geoff Sutcliffe + |
|---|---|
| Bibtype | inproceedings + |
| Booktitle | IJCAR + |
| Doi | http://dx.doi.org/10.1007/11814771_15 + |
| Key | dblp:conf/cade/gelders06 + |
| Modification dateThis property is a special property in this wiki. | 9 July 2009 14:27:28 + |
| Pages | 156-161 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/cade/GelderS06 + |
| Tag | Computer science + |
| Title | Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation + |
| Year | 2006 + |
| Categories | Proceeding Paper, Publication |
| hide properties that link here |
| No properties link to this page. |
