Evaluation of systems for higher-order logic (eshol)
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|evaluation of systems for higher-order logic (eshol) }}
- [[]]
bibtex
{{#vardefine:pagename|Evaluation of systems for higher-order logic (eshol) }}{{#vardefine:key| }}
abstract:
download:
- paper:
- slides:
Facts about Evaluation of systems for higher-order logic (eshol)RDF feed
| Author | Christoph Benzm\"uller +, Florian Rabe +, Carsten Sch\"urmann +, and Geoff Sutcliffe + |
| Bibtype | inproceedings + |
| Booktitle | PAAR/ESHOL + |
| Doi | http://ceur-ws.org/Vol-373/invited-4.pdf + |
| Key | dblp:conf/cade/benzmullerrss08 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/cade/BenzmullerRSS08 + |
| Tag | Computer science + |
| Title | Evaluation of Systems for Higher-order Logic (ESHOL) + |
| Year | 2008 + |
