×

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

引文 按字母顺序

ConGolog公司

40篇文献引用(1999–2022)
软件作者： 德贾科莫；Lespérance，Y。；莱维斯克，H.J。
相关软件： 高尔夫；AgentSpeak；METATEM…
主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…

凯伊迈拉X

26篇文献引用(2015–2024)
软件作者： Fulton，N.、Mitsch，S.、Quesel，J.、Völp，M.、Platzer，A。
相关软件： 凯伊迈拉；Isabelle/HOL；Bellerophon…
主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…

PULi公司

2份文件引用(2018–2022)
软件作者： 哈萨克夫，叶夫根尼；彼得·斯科切夫斯克
相关软件： 信标；ELK；HgMUS…
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段