×

找到5个软件包（结果1-5）

引文 按字母顺序

佩斯卡

198篇文献引用(2001–2023)
软件作者： 阿内·兰塔
相关软件： MiniML；Coq；伊莎贝尔…
主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…

普赛克

5份文件引用(2013–2020)
软件作者： 圣菲省格拉汉·伦格兰德
相关软件： 伊莎贝尔；直觉；ILTP…
主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）

Gen2卫星

3份文件引用(2016–2019)
软件作者： 尤尼·佐哈尔；安娜·扎曼斯基
相关软件： MetTeL；Coq；直觉…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

GenTreeCad公司

引用于1份文件(2012)
软件作者： 塔马斯·卡德克
相关软件： LaTeX公司
主要字段： 数学逻辑与基础（03-XX）

Logitext（逻辑文本）

引用于1份文件(2016)
软件作者： 杨，E.Z。
相关软件： 难以置信的打样机；未绑定；Isabelle/HOL…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段