Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Conference series Beta

International Workshop on Automated Reasoning with Connection Calculi (AReCCa)

Events
1 (2023)
Academic field
Natural sciences: Computer and information sciences
Identifier
https://id.confref.org/series/s121ahd

Events (1)

20232023

YearNo.EventPlaceDate
20231Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), Prague, Czech Republic, September 18, 2023.
Prague

The events on the map · in the search · calendar of coming events

Sources

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

dblp

Cite

International Workshop on Automated Reasoning with Connection Calculi (AReCCa). confref identifier s121ahd. https://id.confref.org/series/s121ahd

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.