Event Beta

ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012

Name: ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012
Location: Manchester

Date: 2012
Place: Manchester, United Kingdom on the map
Series: International Joint Conference on Automated Reasoning (IJCAR)
Academic field: Natural sciences: Computer and information sciences
Disciplines: automated reasoning, automated theorem proving
Identifier: https://id.confref.org/event/e10tfw1

Proceedings

Title	DOI	Year	Record
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012 EPiC Series in Computing 17		2013	dblp

Sources

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

dblp	`https://dblp.org/db/conf/cade/atx-wing2012`

Cite

ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012. confref identifier e10tfw1. https://id.confref.org/event/e10tfw1

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.