Event Beta

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012

Name: Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012
Location: Manchester

Date: 2012
Place: Manchester, United Kingdom on the map
Series: International Workshop on Proof Exchange for Theorem Proving (PxTP)
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e11phd5

Proceedings

Title	DOI	Year	Record
Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012 CEUR Workshop Proceedings 878		2012	dblp

Sources

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

dblp	`https://dblp.org/db/conf/pxtp/pxtp2012`

Cite

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012. confref identifier e11phd5. https://id.confref.org/event/e11phd5

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.