A Web-Based Education System for Predicate Logic.

Ioannis Hatzilygeroudis, Christos Giannoulis, Constantinos Koutsojannis

Browse the full ICALT paper archive.