International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Niemelä, I. (Member)

Activity: Participating in or organising an event typesMembership 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, France