Consistency without coding

    Activity: Talk or presentation › Invited talk › Academic

    Period5 May 2008
    Event titleLezing voor de Moscow conference on Logical Models of Reasoning and Computation
    Event typeOther
    LocationMoskouShow on map