The pedagogical model of SIAL: An adaptive and open-ended intelligent tutoring system for first order logic

  1. Maestro-Prieto, J.A.
  2. Simon-Hurtado, A.
Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE

ISSN: 1942-647X

ISBN: 9781450357074

Year of publication: 2018

Pages: 21-26

Type: Conference paper

DOI: 10.1145/3197091.3197100 GOOGLE SCHOLAR