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)
版權所有 © 2024 3Dict.net