International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar

Description

International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Aix en Provence, France, 3.-6.7.2007, France
Period2007
Event typeConference
LocationAix en Provence, FranceShow on map