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

clausal language

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

Clausal Language
     
         (CL) A programming language and {proof system}
        developed by Paul Voda and a colleague since 1997, written in
        {Trilogy} II.
     
        {Paul Voda Home (http://www.fmph.uniba.sk/~voda)}.
     
        (2002-05-28)
依字母排序 : 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