VDict - Definition of proof system

search result for proof system in Computing (FOLDOC) dictionary

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

LAURE LAMINA Andorra-I fat binary padded cell double-click Palace packet writing LISP 2 FORM markup ELLA ScumOS Directly Executable Test Oriented Language integrity constraint AD/Cycle Indexed Sequential Access Method coordinate SAIL plesiochronous back-end ISL MITRE Corporation PLASMA TUPLE text-based Fetch jiffy toy XNS electronic funds transfer system hose GMAP NetBIOS Windows 3.1 driver tourist whacker Forward Error Correction mail exploder scratch disk xpm Linux Documentation Project MultiTOS ESP GNUStep axiomatic set theory Freenet F68K hotlink HAL Microsloth Windows Maisie Microsoft Certified Systems Developer social engineering archie CHARM++BELL Grim File Reaper drop-outs IMProved Mercury autocode platform pseudo-tty text zap Groupwise slack CLX GNU BC .cshrc Parallel Virtual Machine ParAlfl Oracle 7 file transfer fontology Message Passing Interface simplex printer Redundant Arrays of Independent Disks foreground Didot point

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