International Joint Conference on Automated Reasoning

Niemelä, I. (Member)

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

Description

International Joint Conference on Automated Reasoning (IJCAR 2006), Seattle, USA, 16.-21.8.2006
Period2006
Event typeConference
LocationSeattle, United States, Washington