Pages that link to "Item:Q4666220"
From MaRDI portal
The following pages link to Artificial Intelligence and Soft Computing - ICAISC 2004 (Q4666220):
Displaying 9 items.
- ActiveMath (Q18500) (← links)
- Mathematical context in interactive documents (Q626936) (← links)
- EDU-EX: A tool for auto-regulated intelligent tutoring systems development based on models (Q698071) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Knowledge representation and management in ACTIVEMATH (Q1810908) (← links)
- Intelligent tutoring: from SAKI to Byzantium (Q2746823) (← links)
- Interleaving Strategies (Q5200118) (← links)
- Mechanizing Mathematical Reasoning (Q5717450) (← links)
- : A Linear Algebra Textbook System (Q6108827) (← links)