Browsing Συνέδρια - Conferences by Author "Cheng, Jingde"
Now showing items 1-1 of 1
-
Hilbert: an autonomous evolutionary information system for teaching and learning logic
Cheng, Jingde; Akimoto, Naoki; Goto, Yuichi; Koide, Masato; Nanashima, Kouichi; Nara, Sinsuke (Department of Educational Sciences, University of Cyprus, 2003)In order to establish a widely useful computer-based environment for teaching and learning logic, we are developing an autonomous evolutionary information system, named “HILBERT,” for teaching and learning various logic ...