VDict - Definition of proof system

search result for proof system in Computing (FOLDOC) dictionary

First < Previous 14 15 16 17 18 19 20 Next > Last

operational test and evaluation DASL bulletin board system Ultrix one-line fix Picture Quality Scale LRLTRAN X11R4 locale blow away logic bomb ISO 9660 sys-frog LynxOS International Programmable Airline Reservation System SMB ParaSoft Corp Windows 3.11 Your mileage may vary synchronous TREET VIVID ADVENT GRAAL DARE VFAT Bad command or file name XENIX Pascal-P Iterated Function System input/output goal NEW Programming language OCAL CATIA Plumber menu bar DATA-TEXT C++Linda NeWS M-Prolog On-Line Analytical Processing project assurance CORAL 66 feeping creaturism BlackIce PSL/PSA LDT National Software Reuse Directory zombie requirements analysis Dennis Ritchie writing system Design System language Print Services Facility occam 2 F-Logic cron run-time environment mockingbird ALTRAN mumble mode usability CPU DMAD Statistical Analysis System Advanced Interactive eXecutive folder IDS/I Portable Common Tool Environment grix ADM monitor group identifier BAP File Composition hacker ethic Control Program MicroDroid verbiage

First < Previous 14 15 16 17 18 19 20 Next > Last