Foteini Grivokostopoulou, Ioannis Hatzilygeroudis, Isidoros Perikos. Teaching assistance and automatic difficulty estimation in converting first order logic to clause form. Artif. Intell. Rev., 42(3):347-367, 2014. [doi]
No reviews for this publication, yet.