November 17, 2015 Algorithms for generating arguments in classical logic - a connection graph approach
October 20, 2015 13/11: Έξι (6) υποτροφίες για την εκπόνηση διδακτορικής διατριβής του ΙΠ&Τ σε συνεργασία με Πανεπιστήμια...