OnlineWoerterBuecher.de
Internes

Lexikon


Clausal Language


(CL) A programming language and proof system developed by Paul Voda and a colleague since 1997, written in Trilogy II. Paul Voda Start . (2002-05-28)

In addition suitable contents:
[ 2 ] [ = ] [ ag ] [ am ] [ an ] [ ar ] [ arc ] [ au ] [ b ] [ ba ] [ by ] [ C ] [ ch ] [ CL ] [ co ] [ de ] [ du ] [ ed ] [ er ] [ fi ] [ file ] [ fm ] [ ge ] [ gr ] [ gu ] [ gy ] [ h ] [ hr ] [ ht ] [ id ] [ il ] [ in ] [ inc ] [ it ] [ la ] [ language ] [ Lex ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ na ] [ nc ] [ ng ] [ ni ] [ op ] [ pe ] [ ph ] [ pr ] [ program ] [ programming ] [ programming language ] [ proof ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ se ] [ si ] [ sk ] [ st ] [ sy ] [ system ] [ T ] [ tar ] [ tp ] [ Trilogy ] [ tt ] [ ua ] [ V ] [ ve ] [ ~ ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (2984 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.0922 Seconds, with 18 Database-Queries
Zurück zur Startseite