×

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

引文 按字母顺序

蒙哥

2份文件引用(2018–2020)
软件作者： 迪米特里奥斯·库扎帕斯；奥尔内拉·达达；罗利·佩雷拉；西蒙·盖伊。
相关软件： session-ocaml；睫毛；z3（零3）
主要字段： 计算机科学（68-XX）

PLURAL（纵向）

2份文件引用（2010年至2015年）
软件作者： K.Bierhoff；J.奥尔德里奇
相关软件： 赋格；Polyglot公司；管道…
主要字段： 计算机科学（68-XX）

日本泰克

在0个文档中引用
软件作者： 巴奇亚尼，洛伦佐；马里奥·布拉维蒂；Marco Giunti；乔昂·莫塔；安托尼奥·拉瓦拉
相关软件： ——
主要字段： ——

筛选结果依据…

全部的 前5名

相关软件

主字段