SJUTS, Johann. Formalisierung von Wissen - ein probates Werkzeug zur Bewältigung komplexer Anforderungen . mathematica didactica , [S. l.], v. 26, n. 2, p. 73–90, 2003. DOI: 10.18716/ojs/md/2003.1012. Disponível em: https://journals.ub.uni-koeln.de/index.php/mathematica_didactica/article/view/1012. Acesso em: 3 juli. 2024.