语言选择:
免费网上英汉字典|3Dict

hol88

资料来源 : Free On-Line Dictionary of Computing

HOL-88
     
        An implementation of {HOL} built on {ML} by Mike Gordon
        .
依字母排序 : A B C D E F G H I J K L M N O P Q R S T U V W X Y Z