語言選擇:
免費網上英漢字典|3Dict

hol90

資料來源 : Free On-Line Dictionary of Computing

HOL-90
     
        An implementation of {HOL} built on {SML/NJ} by Brian Graham
        .  Runs on {Sun-4}.
     
        {(ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z)}.  Mailing list:
        [email protected].
依字母排序 : 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