Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
2 results · clear filters Sort: newest oldest name
- International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX 2020)Philosophy, ethics and religione127dc9
- International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)Philosophy, ethics and religions126tvz
As JSON: https://labs.confref.org/api/search?field=6.3&discipline=Q8078&series=s126tvz