Adaptive Proofs

  • Leon F M Horsten (Speaker)

Activity: Participating in or organising an event typesInvited talk

Description

Adaptive Proofs
Period24 Jun 2005
Event typeConference