International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Niemelä, I. (Member)

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Description

International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Aix en Provence, France, 3.-6.7.2007, France
Aikajakso2007
Tapahtuman tyyppiConference
SijaintiAix en Provence, Ranska