Международная конференция по автоматизированному мышлению с аналитическими таблицами и родственными методами - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
 | Эта статья слишком полагается на Рекомендации к основные источники. (Сентябрь 2011 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
В Международная конференция по автоматизированному мышлению с аналитическими таблицами и родственными методами (ТАБЛИЦА) является ежегодным международным научная конференция который касается всех аспектов автоматическое рассуждение с аналитические таблицы. Периодически присоединяется к CADE и TPHOLs в Международная совместная конференция по автоматизированному мышлению (IJCAR).
Первый стол был созван в 1992 году. С 1995 года труды этой конференции публикуются Springer с LNAI серии.
В августе 2006 г. TABLEAUX был частью Федеративная логическая конференция в Сиэтл, Соединенные Штаты Америки. Следующие ТАБЛО были проведены в 2007 г. Экс-ан-Прованс, Франция, как часть IJCAR 2008, в Сиднее, Австралия, как TABLEAUX 2009, в Осло, Норвегия, в рамках IJCAR 2010, Эдинбург, Великобритания, как TABLEAUX 2011, в Берне, Швейцария, 4-8 июля 2011 года, как часть IJCAR 2012, Манчестер, Великобритания, as TABLEAUX 2013, Нанси, Франция, 16-19 сентября 2013 года, и в рамках IJCAR 2014, Вена, Австрия, 19-22 июля 2014 года.
внешняя ссылка
 | Этот Информатика статья - это заглушка. Вы можете помочь Википедии расширяя это. |
| Эта статья о компьютерной конференции - заглушка. Вы можете помочь Википедии расширяя это. |