An Intelligent Teaching Assistant System for Logic

Leanna Lesta, Kalina Yacef. An Intelligent Teaching Assistant System for Logic. In Stefano A. Cerri, Guy Gouardères, Fábio Paraguaçu, editors, Intelligent Tutoring Systems, 6th International Conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2-7, 2002, Proceedings. Volume 2363 of Lecture Notes in Computer Science, pages 421-431, Springer, 2002. [doi]

@inproceedings{LestaY02,
  title = {An Intelligent Teaching Assistant System for Logic},
  author = {Leanna Lesta and Kalina Yacef},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2363/23630421.htm},
  tags = {teaching, logic},
  researchr = {https://researchr.org/publication/LestaY02},
  cites = {0},
  citedby = {0},
  pages = {421-431},
  booktitle = {Intelligent Tutoring Systems, 6th International Conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2-7, 2002, Proceedings},
  editor = {Stefano A. Cerri and Guy Gouardères and Fábio Paraguaçu},
  volume = {2363},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43750-9},
}