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 references recorded for this publication.
No citations of this publication recorded.