VDict - Definition of proof system

search result for proof system in Computing (FOLDOC) dictionary

First < Previous 16 17 18 19 20 21 22 Next > Last

Autopass store and forward Dual Tone Multi Frequency Harvest C CLAM Data Flow Diagram Debian GNU/Hurd cut-through switching SQL server ssh cross-platform Advanced Revelation borf code management Carl Friedrich Gauss Compulink Information eXchange JOSS Eqn class library Twentel ZAP circuit switching GEOS Directory System Agent Operator Control Language PROSE ALPHA Purple Book wango functionality mutual exclusion ARES COIF Cost/Schedule Control System Criteria integration testing forward engineering VHS creeping elegance PRA imake STING warchalk CTY function complete bring X to its knees RFC 2298 box Twente Compiler Generator System Mach cuspy Replay Magnetic Ink Character Recognition STRESS cookie file Lace xbm turn-key Portable AIRTIME algebraic structure XEROX Network Services Embedded Lisp Interpreter Auto Idle virtual shredder ACIS addressing mode Dynamic Object-Oriented Requirements System DJGPP Mimer SQL Digital Research PostScript network database relational database management system Virtual Machine/System Product IS DTALGOL hung desktop publishing Sequel Windows/386 Dynamic Address Translation

First < Previous 16 17 18 19 20 21 22 Next > Last