Theme 1: Conception of Proof from Different Theoretical Perspective (10th July 2013) In this session, three papers were presented, so that two related posters, presenting a variety of theoretical backgrounds.
Theme 1: Conception of Proof from Different TheoreticalPerspective (10th July 2013) In this session, three papers were presented, so that two related posters, presenting a variety of theoretical backgrounds.