Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found
From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]:
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://fmph.uniba.sk/~voda.
(2002-05-28)