Event Beta

Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011

Name: Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011
Start: 2011-07-31
End: 2011-07-31
Location: Wrocław

ATE

Date: 2011-07-31
Place: Wrocław, Poland on the map
Series: Workshop on Automated Theory Engineering (ATE)
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e10rswv

Proceedings

Title	DOI	Year	Record
Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011 CEUR Workshop Proceedings 760		2011	dblp

Sources

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

confref portal (2020)	`https://id.confref.org/data/confref-portal/event/ate2011` · page
dblp	`https://dblp.org/db/conf/ate/ate2011`

Cite

Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011. confref identifier e10rswv. https://id.confref.org/event/e10rswv

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.