HOL公司 603文件引用(1985–2024) 软件作者: 迈克尔·J·C·戈登。 相关软件: 伊莎贝尔;Isabelle/HOL;ML… 主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
酯类 144篇文献引用(1985–2023) 软件作者: 杰拉德·贝瑞 相关软件: 卢斯特;信号;Uppaal… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…