logicits
An Intelligent Tutoring System aimed to support the learning procces of Natural Deduction in the context of Propositional and First Order Logics.
An Intelligent Tutoring System aimed to support the learning procces of Natural Deduction in the context of Propositional and First Order Logics.
An Intelligent Tutoring System aimed to support the learning procces of Natural Deduction in the context of Propositional and First Order Logics.
An Intelligent Tutoring System aimed to support the learning procces of Natural Deduction in the context of Propositional and First Order Logics.
GNU General Public License v3.0