Conference series Beta
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
TABLEAUX
- Events
- 1 (2020)
- Academic field
- Humanities: Philosophy, ethics and religion
- Disciplines
- logic
- Identifier
https://id.confref.org/series/s126tvz
Events (1)
20202020
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2020 | International Conference on Theorem Proving with Analytic Tableaux and Related Methods TABLEAUX 2020 | Paris | 2020-06-29 to 2020-07-05 |
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).
| ConfIDent |
|---|
Cite
International Conference on Theorem Proving with Analytic Tableaux and Related Methods. confref identifier s126tvz. https://id.confref.org/series/s126tvz
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.