Event Beta

Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012

Name: Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012
Location: Manchester

Date: 2012
Place: Manchester, United Kingdom on the map
Series: International Joint Conference on Automated Reasoning (IJCAR)
Edition: 1
Academic field: Natural sciences: Computer and information sciences
Disciplines: automated reasoning, automated theorem proving
Identifier: https://id.confref.org/event/e10tg1q

Proceedings

Title	DOI	Year	Record
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012 CEUR Workshop Proceedings 873		2012	dblp

Sources

The records of the sources that this identifier brings together (cr:sameAs).

dblp	`https://dblp.org/db/conf/cade/compare2012`

Cite

Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012. confref identifier e10tg1q. https://id.confref.org/event/e10tg1q

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.