Event Beta

Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016.

Name: Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016.
Location: Coimbra

Date: 2016
Place: Coimbra, Portugal on the map
Series: Vampire Workshop (Vampire)
Edition: 3
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e10tgxy

Proceedings

Title	DOI	Year	Record
Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016. EPiC Series in Computing 44		2017	dblp

Sources

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

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

Cite

Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016.. confref identifier e10tgxy. https://id.confref.org/event/e10tgxy

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.