[1] : The Free On-line Dictionary of Computing (27 SEP 03)

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
     
     
see also:
proof system trilogy lt;paul voda homegt; 

Language >> L Words
Language, definition of term: Language
language_pag1.html

Clausal >> C Words
Clausal, definition of term: Clausal
clausal_pag1.html

Markup Language >> M Words
Markup Language, definition of term: Markup Language
markup+language_pag1.html

Sign Language >> S Words
Sign Language, definition of term: Sign Language
sign+language_pag1.html

Siouan Language >> S Words
Siouan Language, definition of term: Siouan Language
siouan+language_pag1.html

Target Language >> T Words
Target Language, definition of term: Target Language
target+language_pag1.html

Hebrew Language >> H Words
Hebrew Language, definition of term: Hebrew Language
hebrew+language_pag1.html

Celtic Language >> C Words
Celtic Language, definition of term: Celtic Language
celtic+language_pag1.html

Dead Language >> D Words
Dead Language, definition of term: Dead Language
dead+language_pag1.html

German Language >> G Words
German Language, definition of term: German Language
german+language_pag1.html

Page 1 2 Next