VDict - Definition of proof system

search result for proof system in Computing (FOLDOC) dictionary

First < Previous 12 13 14 15 16 17 18 Next > Last

SPUR SHACO SOHIO IXI Limited Rom Kernel Manual SETS Objective CAML CCalc STD 13 BCPL ORTHOCARTAN systems analysis Signalling System 7 Video on Demand Animus SALEM CNAME Document Examiner database management system Information Technology Infrastructure Library Exceed spooler Object-oriented SQL softwarily Kerberos upgradability ASPECT Montage SFD-ALGOL Maril project management authentication OpenDoc Java SAC-1 absolute pathname Command Control Processor Portable Tool Interface parameter RAM quadruplex Compact Disc Read-Only Memory NESL BTS OS/360 JES ADS SS7 change management orphan process SAC2 Parallel Sysplex buglix Qualcomm Application Visualisation System drop-ins LAU gopher down-time Initial Microprogram Load X/Open System Interface GRG Ondine stoppage NETL Open Distributed System Architecture output AUTOGRAF input SUPER lilo root version XUI LT-2 DUAL-607 SO 2 JAZ POSYBL MINITAB II byte magic number

First < Previous 12 13 14 15 16 17 18 Next > Last