Event Beta

Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010

Name: Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010
Location: Edinburgh

Date: 2010
Place: Edinburgh, United Kingdom on the map
Series: Workshop on User Interfaces for Theorem Provers (UITP)
Edition: 9
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e120mj3

Proceedings

Title	DOI	Year	Record
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010 Electronic Notes in Theoretical Computer Science 285		2012	dblp

Sources

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

dblp	`https://dblp.org/db/journals/entcs/entcs285`

Cite

Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010. confref identifier e120mj3. https://id.confref.org/event/e120mj3

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.