Logic Program Synthesis and Transformation (LOPSTR)

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Période11 juil. 199712 juil. 1997
Type d'événementColloque
LieuLeuven, Belgique