Computer Dictionary/Clausal Language

From En.18dao.net
Jump to: navigation, search

(CL) A programming language and proof system

developed by Paul Voda and a colleague since 1997, written in Trilogy II.

Paul Voda Home.


Related Columns: ASCII, Dream Dictionary, Idiom Dictionary

Discussion about "Computer Dictionary/Clausal Language":

None Discussion Now.

Add Discussion