×

找到4个软件包(结果1-4)

伊莎贝尔/HOL

1068年文献引用(1996–2024)
软件作者: 沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科
相关软件: 伊莎贝尔;Coq;HOL…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

平面图

9份文件引用(1997–2005)
软件作者: 迈克尔·希克斯;潘卡杰·卡卡尔;乔纳森·摩尔(Jonathan T.Moore)。;卡尔·A·冈特。;斯科特·奈特尔斯
相关软件: OCaml;番石榴;AtomCaml…
主要字段: 计算机科学(68-XX)

楔形文字

1份文件引用(2017)
软件作者: Jörgen Brandt;Reisig,Wolfgang;乌尔夫·莱瑟
相关软件: PRMLT;蜂巢;火花…
主要字段: 计算机科学(68-XX)

VMλ

1份文件引用(2003)
软件作者: 埃希罗·苏米(Eijiro Sumii);伊迪奥·班奈
相关软件: OCaml;凸轮4
主要字段: 计算机科学(68-XX)

筛选结果依据…