Logic-based Program Synthesis and Transformation

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

Période22 sept. 199924 sept. 1999
Type d'événementColloque
LieuVenice, Italy