Masahiko Sato, Yukiyoshi Kameyama, Takeuti Izumi, ”CAL: A Computer Assisted Learning system for Computation and Logic (2001)

by M Sato, Y Kameyama, I Takeuti
Venue:EUROCAST2001, Lecture Notes in Computer Science 2178