Artificial Intelligence and Soft Computing - ICAISC 2004

DOI10.1007/b98109zbMath1058.97500OpenAlexW2916837318MaRDI QIDQ4666220

Erica Melis, Jörg H. Siekmann

Publication date: 12 April 2005

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

Full work available at URL: https://doi.org/10.1007/b98109

Mathematics Subject Classification ID

Artificial intelligence (68T99) Technological tools, calculators (aspects of mathematics education) (97U70)

Related Items

Computer supported mathematics with \(\Omega\)MEGA, : A Linear Algebra Textbook System, Mathematical context in interactive documents, Interleaving Strategies, ActiveMath

Uses Software

• OMDoc
• ELM-ART