VDict - Definition of proof system

search result for proof system in Computing (FOLDOC) dictionary

First < Previous 21 22 23 24 25 26 27 Next > Last

LOGO workflow forward compatibility heavy wizardry File Request Micro Interpreter for Knowledge Engineering panic request for proposal network transparency If you want X, you know where to find it.gotcha database administrator Exterior Gateway Protocol tee FORMAL frame buffer Plesiochronous Digital Hierarchy chrome data warehouse 16-bit application ANNotated Ada TELOS rollback simulation TZ U-Code GEM heavyweight Amber PCL MOBSSL-UAF TRON automaton Sega Genesis/MegaDrive Unique ID Listing PROM monitor internal field separators deep magic Virtual Device Driver strict evaluation pull-down list least recently used Interior Gateway Protocol conceptualisation Run-Time Type Information flag day Microsoft Windows nastygram Windows NT Network Model Berkeley Software Distribution input device SpoolView voodoo programming hang Desktop Management Interface trigger overloading incremental constraint solver plumbing Peano arithmetic Magma Extensible Shell Electrically Erasable Programmable Read-Only Memory COGENT parallel port nibble PILE Intel 487SX queue Hungry ViewKit Universal Communications X religious issues Computer Output to Laser Disk clone elephantine DDS POPLOG Pleuk grammar development system MACSYMA modal

First < Previous 21 22 23 24 25 26 27 Next > Last