Международная конференция по автоматическому мышлению с аналитическими таблицами и родственными методами - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Международная конференция по автоматизированному Рассуждению с аналитическими таблицами и соответствующими методами ( Tableaux ) является ежегодной международной научной конференцией , которая занимается всеми аспектами автоматизированных рассуждений с аналитическими таблицами . Периодически она присоединяется КАДЕ и TPHOLs в Международной совместной конференции по автоматизированной Рассуждение (IJCAR).
Первая таблица созван в 1992 г. С 1995 г. Материалы конференции были опубликованы Springer «s 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 г. .
внешние ссылки
 |
Эта статья по информатике незавершена . Вы можете помочь Википедии, расширив ее . |