L\Omega UI: A Distributed Graphical User Interface for the Interactive Proof System\Omega mega. Submitted to the International Workshop on User Interfaces for Theorem ProversJorg Siekmann,Stephan Hess,Christoph Benzmuller,Lassaad Cheikhrouhou,Detlef Fehrer,Armin Fiedler,Helmut Horacek,Michael Kohlhase,Karsten Konrad,Andreas Meier,Erica Melis,Volker Sorgemag(1998)引用 23|浏览3暂无评分AI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要