Workshop on Proof Search in Type-Theoretic Languages, Lindau, Germany

Michael Franssen (Organisator)

Activiteit: Types deelname aan of organisatie van een evenementWorkshop, seminar, cursus of expositieWetenschappelijk

Periode5 jul 1998
EvenementstypeWorkshop