An Intelligent Tutoring System aimed to support the learning procces of Natural Deduction in the context of Propositional and First Order Logics.
-
Updated
Nov 6, 2019 - Java
An Intelligent Tutoring System aimed to support the learning procces of Natural Deduction in the context of Propositional and First Order Logics.
Intelligent Roadway Information System
KHTA: Korea Highway Traffic Analysis Tool for ITS(Intelligence Transportation System)
This is the codebase for the prototype of a electronics virtual laboratory that is monitored by intelligent tutoring systems created using CTAT
Intelligent Tutoring System
Add a description, image, and links to the its topic page so that developers can more easily learn about it.
To associate your repository with the its topic, visit your repo's landing page and select "manage topics."