Computability in Europe- Turing Centenary Conference 2012

Campbell-Moore, C. J. (Speaker)

Activity: Participating in or organising an event types › Participation in conference

Description

‘A Computable Infinitary Logic’
Period18 Jun 2012 → 23 Jun 2012
Event typeConference
LocationCambridge, United Kingdom