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

Record Beta

TABLEAUX - International Conference on Theorem Proving with Analytic Tableaux and Related Methods

https://id.confref.org/data/confident/2056

This record is part of the confref series International Conference on Theorem Proving with Analytic Tableaux and Related Methods.

rdf:typecf:Category_Event_Series
rdfs:labelTABLEAUX - International Conference on Theorem Proving with Analytic Tableaux and Related Methods
cf:Academic_Fieldhttps://id.confref.org/data/confident/28281
cf:AcronymTABLEAUX
cf:Creation_date2022-04-06T19:17:55
cf:Display_TitleTABLEAUX - International Conference on Theorem Proving with Analytic Tableaux and Related Methods
cf:Maintainer_Missingtrue
cf:Modification_date2022-08-24T14:35:57
cf:TitleInternational Conference on Theorem Proving with Analytic Tableaux and Related Methods
cf:pagehttps://www.confident-conference.org/index.php/Event_Series:TABLEAUX
cf:pageTitleEvent Series:TABLEAUX
cr:disciplinelogic (wd:Q8078)
cr:fieldPhilosophy, ethics and religion (https://id.confref.org/data/oecd-fos/6.3)

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.