Krieg-Brückner，伯尔尼 在安全可靠的系统中实现多媒体教学。 （英语） 1098.97500兹罗提 Hutter，Dieter（编辑）等人，《数学推理的机械化》。纪念Jörg H.Siekmann 60岁生日的文章。柏林：施普林格出版社（ISBN 3-540-25051-4/pbk）。计算机科学课堂讲稿2605。人工智能课堂讲稿，379-395（2005）。MSC公司：97单位40 97U70型 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{B.Krieg-Brückner}，莱克特。注释计算。科学。2605379-395（2005年；Zbl 1098.97500） 全文： 内政部
迈克尔·科尔哈塞 OMDOC：为数学知识的管理、分发和教学制定互联网标准。 （英语） Zbl 1042.00511号 约翰·坎贝尔（编辑）等人，《人工智能和符号计算》。2000年7月17日至19日在西班牙马德里举行的AISC 2000国际会议。修订论文。柏林：施普林格出版社（ISBN 3-540-42071-1）。莱克特。注释计算。科学。1930, 32-52 (2001).MSC公司：00A99号 68立方英尺 68瓦30 97U70型 97单位40 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}，莱克特。注释计算。科学。1930年，32-52（2001年；Zbl 1042.00511） 全文： 链接