Event Beta

Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007

Name: Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007
Location: Bremen

Date: 2007
Place: Bremen, Germany on the map
Series: International Conference on Automated Deduction
Edition: 17
Academic field: Natural sciences: Computer and information sciences
Disciplines: automated theorem proving
Identifier: https://id.confref.org/event/e10tg2n

Proceedings

Title	DOI	Year	Record
Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007 CEUR Workshop Proceedings 257		2007	dblp

Sources

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

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

Cite

Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007. confref identifier e10tg2n. https://id.confref.org/event/e10tg2n

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.