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

Activity: Participating in or Organising an Event › Participation in conference

Description

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