科梅特 4份文件引用(2002–2005) 软件作者: Calmet,J.,Jekutsch,S.,Kullmann,P.,Schü,J。 相关软件: FRIL;PVS;SPASS… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)