International Conference on Automated Deduction

Niemelä, I. (Member)

Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

Description

20th International Conference on Automated Deduction, Tallinn, 22-27.7.2005, Estonia
Period2005
Event typeConference
Conference number20
LocationTallinn, Estonia