Conference on Computer-Assisted Proofs – Tools, Methods and Applications
- Langer, M. (Invited speaker)
Activity: Participating in or Organising an Event › Participation in conference
Activity: Participating in or Organising an Event › Participation in conference