Event Beta

International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Name: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Start: 2003-09-09
End: 2003-09-12
Location: Rome

TABLEAUX

Date: 2003-09-09/12
Place: Rome, Italy on the map
Series: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Edition: 12
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e1088ce

Proceedings

Title	DOI	Year	Record
Automated Reasoning with Analytic Tableaux and Related Methods LNCS 2796	10.1007/b12030	2003	Springer
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings Lecture Notes in Computer Science 2796	10.1007/b12030	2003	dblp

Where the sources disagree

start date: springer-lod: 2003-09-09; confref-portal: 2003-01-01

The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).

Sources

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

Springer LOD (2018)	`http://lod.springer.com/data/conference/tableaux2003`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/tableaux2003` · page
dblp	`https://dblp.org/db/conf/tableaux/tableaux2003`

Cite

International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. confref identifier e1088ce. https://id.confref.org/event/e1088ce

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.