Browsing by Author "Nanashima, Kouichi"

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 ...