×

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

引文 按字母顺序

巴贝尔

72份文件引用(1988–2013)
软件作者： 马里奥·罗德里格斯-阿塔莱霍
相关软件： 核叶；玩具；咖喱…
主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）

内核-叶

引用于31份文件(1989–2013)
软件作者： 埃利奥·乔瓦内蒂；乔治·列维；科拉多·莫伊索；帕拉米德斯猫
相关软件： 巴贝尔；玩具；咖喱…
主要字段： 计算机科学（68-XX）

OPTYap公司

14篇文献引用(2001–2022)
软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔
相关软件： XSB；YAP-Prolog；YapOr…
主要字段： 计算机科学（68-XX）

加利黄蜂

2份文件引用(2017–2023)
软件作者： 马普尔，凯尔；古普塔，戈帕尔
相关软件： 水；中国科学院科学院；保监会…
主要字段： 计算机科学（68-XX）

混合日志

1份文件引用(1997)
软件作者： 唐纳德·史密斯。
相关软件： ——
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

主字段