Event Beta

International Conference on Theorem Proving with Analytic Tableaux and Related Methods

Name: International Conference on Theorem Proving with Analytic Tableaux and Related Methods
Start: 2020-06-29
End: 2020-07-05
Location: Paris

TABLEAUX 2020

Date: 2020-06-29 to 2020-07-05
Place: Paris, France on the map
Series: International Conference on Theorem Proving with Analytic Tableaux and Related Methods
Attendance: on site
Status: as scheduled
Website: http://www.tableaux-ar.org/next.html
Academic field: Humanities: Philosophy, ethics and religion
Disciplines: logic
Identifier: https://id.confref.org/event/e127dc9

Sources

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

ConfIDent	`https://id.confref.org/data/confident/21536` · page

Cite

International Conference on Theorem Proving with Analytic Tableaux and Related Methods. confref identifier e127dc9. https://id.confref.org/event/e127dc9

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.