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 2005), Koblenz, 11.-14.9.2005, Germany
Period2005
Event typeConference
LocationKoblenz, Germany