圣杯 swMATH ID: 24229 软件作者： R.模拟。 描述： Grail：分类语法逻辑的自动校对助手。Grail系统是一种开发和原型化分类逻辑语法片段的工具。Grail是一个基于证明网、基于图形的证明表示和标记演绎的自动定理证明程序。 主页： http://www.labri.fr/perso/moot/grail0.html 相关软件： 分类日志3;洛利;github;线性One;CatLog（猫日志）;圣杯 引用于： 8文件 全部的 前5名14位作者引用 4 克里斯蒂安·雷托雷 2 Max Iosifovich，卡诺维奇 2 库兹涅佐夫（Kuznetsov，Stepan L'vovich） 2 理查德·穆特 2 安德烈·斯克洛夫 1 拉斐拉·伯纳迪 1 埃本·布莱斯德尔 1 迭戈·卡尔瓦内斯 1 格林·莫里尔（Glyn V.Morrill）。 1 Vivek Nigam先生 1 伊莱恩·皮门特尔 1 利维，真的 1 萨尔瓦蒂，西尔万 1 卡米洛·索恩 3篇连载文章中引用 三 逻辑、语言与信息杂志 1 MSCS公司。计算机科学中的数学结构 1 计算机科学课堂讲稿 在3个字段中引用 6 数学逻辑和基础（03-XX） 4 计算机科学（68至XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文