概念网 20篇文献引用(2007–2023) 软件作者： 刘H，辛格P；哈瓦西，C.，斯佩尔，R.，阿隆索，J。 相关软件： WordNet；BERT；雅高… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
ASPIER公司 6篇文献引用(2011–2023) 软件作者： Chaki，S；达塔，A。 相关软件： ProVerify；NAXOS；EasyCrypt… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）