Event Beta

TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011

Name: TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011
Location: Bern

Date: 2011
Place: Bern, Switzerland on the map
Series: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Academic field: Natural sciences: Computer and information sciences
Disciplines: automated reasoning, method of analytic tableaux
Identifier: https://id.confref.org/event/e11wr44

Proceedings

Title	DOI	Year	Record
TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011 Technical Report IAM-11-002		2011	dblp

Sources

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

dblp	`https://dblp.org/db/conf/tableaux/tableaux2011wstsp`

Cite

TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011. confref identifier e11wr44. https://id.confref.org/event/e11wr44

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.