International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
id:
international-conference-on-automated-reasoning-with-analytic-tableaux-and-related-methods-324-5855820
title:
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
text:
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) is an annual international academic conference that deals with all aspects of automated reasoning with analytic tableaux. Periodically, it joins with CADE and TPHOLs into the International Joint Conference on Automated Reasoning (IJCAR). The first table convened in 1992. Since 1995, the proceedings of this conference have been published by Springer's LNAI series. In August 2006 TABLEAUX was
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/International_Conference_on_Automated_Reasoning_with_Analytic_Tableaux_and_Related_Methods
date created:
date modified:
2023-10-09T05:57:52Z
main entity:
{"identifier":"Q6049582","url":"https://www.wikidata.org/entity/Q6049582"}
image:
fields total:
13
integrity:
13