CAL: A Computer Assisted Learning System for Computation and Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Masahiko Sato, Yukiyoshi Kameyama, Izumi Takeuti. CAL: A Computer Assisted Learning System for Computation and Logic. In Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire, editors, Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers. Volume 2178 of Lecture Notes in Computer Science, pages 509-524, Springer, 2001. [doi]

This author has not been identified. Look up 'Masahiko Sato' in GoogleThis author has not been identified. Look up 'Yukiyoshi Kameyama' in GoogleThis author has not been identified. Look up 'Izumi Takeuti' in Google

runs on WebDSL