بحث علمي, ذكاء اصطناعي, علوم الحاسوب, مؤتمرات, منطقالمؤتمر الدولي حول الاستدلال الآلي باستخدام جداول التحليل والطرق ذات الصلة (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods – TABLEAUX)