克劳斯·格鲁 Logiweb的层。 （英语） Zbl 1202.68466号 Kauers，Manuel（编辑）等人，《走向机械化数学助手》。2007年6月27日至30日，第14次研讨会，2007年Calculemus，第6次国际会议，2007年MKM，奥地利哈根堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73083-5/pbk）。计算机科学课堂讲稿4573。人工智能课堂讲稿，250-264（2007）。 摘要：Logiweb是一个开源的分布式系统，用于发布机器检查数学。它涵盖了电子出版的所有方面：高排版质量、档案、对先前出版结果的参考文献的处理以及参考卷的出版。本论文本身是使用Logiweb生成的；并且本文在形式上是正确的，因为它已被Logiweb验证。本文描述了用户所看到的Logiweb系统的实现层：编程层、逻辑层、策略层和对象验证层。关于整个系列，请参见[Zbl 1119.68011号]. 引用于2文件 MSC公司： 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 68吨15 定理证明（演绎、解析等）（MSC2010） PDF格式BibTeX公司 XML格式引用 \textit{K.Grue}，莱克特。注释计算。科学。45735250-264（2007年；兹比尔1202.68466） 全文： 内政部