Международная конференция по автоматизированному мышлению с аналитическими таблицами и родственными методами

В этой статье слишком много ссылок на первоисточники . Пожалуйста, улучшите это, добавив вторичные или третичные источники . ( Сентябрь 2011 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения )

Международная конференция по автоматизированному рассуждению с использованием аналитических таблиц и связанных с ними методов ( TABLEAUX ) - это ежегодная международная научная конференция , посвященная всем аспектам автоматизированного рассуждения с помощью аналитических таблиц . Периодически он объединяется с CADE и TPHOL в Международную объединенную конференцию по автоматизированному мышлению (IJCAR).

Первый стол был созван в 1992 году. С 1995 года материалы этой конференции публикуются в серии Springer LNAI .

В августе 2006 года TABLEAUX был участником конференции Federated Logic Conference в Сиэтле , США . Следующие TABLEAUX были проведены в 2007 году в Экс-ан-Провансе , Франция , в рамках IJCAR 2008, в Сиднее, Австралия, как TABLEAUX 2009, в Осло, Норвегия, как часть IJCAR 2010, Эдинбург, Великобритания, as TABLEAUX 2011, в Берне. , Швейцария, 4–8 июля 2011 г., в рамках IJCAR 2012, Манчестер, Великобритания, as TABLEAUX 2013, Нанси, Франция, 16–19 сентября 2013 г., и в рамках IJCAR 2014, Вена, Австрия, 19–22 июля 2014 г. .

внешняя ссылка

• TABLEAUX домашняя страница

Эта статья по информатике незавершена . Вы можете помочь Википедии, расширив ее .

• v
• т
• е