Event Beta

Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016.

Name: Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016.
Location: Coimbra

Date: 2016
Place: Coimbra, Portugal on the map
Series: Workshop on Practical Aspects of Automated Reasoning (PAAR)
Edition: 5
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e10tgkj

Proceedings

Title	DOI	Year	Record
Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016. CEUR Workshop Proceedings 1635		2016	dblp

Sources

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

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

Cite

Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016.. confref identifier e10tgkj. https://id.confref.org/event/e10tgkj

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.