Conference on Computer-Assisted Proofs – Tools, Methods and Applications

Langer, M. (Invited speaker)

Activity: Participating in or organising an event typesParticipation in conference

Description

speaker: Conference on Computer-Assisted Proofs – Tools, Methods and Applications, in Schloss Dagstuhl, Germany
PeriodJan 2008
Event typeOther