Event Beta

Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015.

Name: Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015.
Start: 2015-08-01
End: 2015-08-01
Location: Berlin

Bridging 2015

Date: 2015-08-01
Place: Berlin, Germany on the map
Series: Workshop on Bridging the Gap between Human and Automated Reasoning (BtG)
Edition: 25
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e10jmqp

Proceedings

Title	DOI	Year	Record
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning		2015	Wikidata
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015. CEUR Workshop Proceedings 1412		2015	dblp

Sources

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

Wikidata	`http://www.wikidata.org/entity/Q113646319`
dblp	`https://dblp.org/db/conf/cade/bridging2015`

Cite

Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015.. confref identifier e10jmqp. https://id.confref.org/event/e10jmqp

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.