An Intelligent Tutoring System aimed to support the learning procces of Natural Deduction in the context of Propositional and First Order Logics.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool