VDict - Definition of proof system

search result for proof system in Computing (FOLDOC) dictionary

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

Common Object File Format SunOS GAMMA PLANNER uninstaller EMU8000 Mule Internetwork Packet eXchange EL1 Security Administrator's Integrated Network Tool Windows 2 test Inter-process Communication bigot AXIOM*literate programming rare mode naive arena automation processor time cluster ForceOne Application environment specification Captain Crunch boat anchor ones complement EuLisp WOOL projection Super 7 Initial Operational Test and Evaluation AMPL William Joy ABCL/c+button List Enhanced demon CJK Extended Tcl FOCAL Macintosh IIcx Knowledge Systems Laboratory Win32s General Electric hack up provocative maintenance EntireX code segment Dartmouth BASIC Virtual Device Location LOGIN prime time Core Protocol Stack Executive Systems Programming Oriented Language twos complement Weenix exception handler Aloha FrameMaker copybroke Terminal Productivity eXecutive zoom Zoomer Mean Time Between Failures Multi-Garnet PI electronic funds transfer Embedded Mode Attributed File System Xcoral component architecture combinatory logic PowerPC G3 ABEND Recursive Functional Algorithmic Language Ibpag2 LISA Ode Pentium II Xeon

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