Mezinárodní konference o automatizovaném uvažování s analytickými tabulkami a souvisejícími metodami - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

tento článek příliš spoléhá na Reference na primární zdroje. Vylepšete to přidáním sekundární nebo terciární zdroje. (Září 2011) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

The Mezinárodní konference o automatizovaném uvažování s analytickými tabulkami a souvisejícími metodami (TABLEAUX) je každoroční mezinárodní akademická konference který se zabývá všemi aspekty automatické uvažování s analytické tabulky. Pravidelně se připojuje k CADE a TPHOLs do Mezinárodní společná konference o automatizovaném uvažování (IJCAR).

První tabulka se sešla v roce 1992. Od roku 1995 publikuje sborník z této konference Springer je LNAI série.

V srpnu 2006 byl TABLEAUX součástí Federovaná logická konference v Seattle, USA. Následující TABLEAUX se konaly v roce 2007 v Aix en Provence, Francie, jako součást IJCAR 2008, v Sydney, Austrálie, jako TABLEAUX 2009, v Oslo, Norsko, jako součást IJCAR 2010, Edinburgh, UK, jako TABLEAUX 2011, ve švýcarském Bernu, 4. – 8. července 2011, jako součást IJCAR 2012, Manchester, Velká Británie, jako TABLEAUX 2013, Nancy, Francie, 16. – 19. Září 2013, a jako součást IJCAR 2014, Vídeň, Rakousko, 19. – 22. Července 2014.

externí odkazy

• Domovská stránka TABLEAUX

Tento počítačová věda článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.