An intelligent teaching assistant system for logic

DOI10.1007/3-540-47987-2_45MaRDI QIDQ3046093zbMATH OpenFDO

Authors Leanna Lesta, Kalina Yacef

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2363/23630421.htm

Mathematics Subject Classification ID

Artificial intelligence (68T99) Computing methodologies and applications (68U99)

Recommendations

• Teaching and Learning Logic in a Virtual Learning Environment
• A general reasoning apparatus for intelligent tutoring systems in mathematics
• scientific article; zbMATH DE number 4115950
• scientific article; zbMATH DE number 4106296

Cited in

(5)

• Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book
• Adaptation in the web-based Logic-ITA
• scientific article; zbMATH DE number 1398487 (Why is no real title available?)
• Teaching and Learning Logic in a Virtual Learning Environment
• Learning to reason assisted by automated reasoning

This page was built for publication: An intelligent teaching assistant system for logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3046093)