VDict - Definition of proof system

search result for proof system in Computing (FOLDOC) dictionary

First < Previous 22 23 24 25 26 27 28 Next > Last

wild card jc command line interface GAP cooked mode blow an EPROM Portable Standard Lisp Logical Unit 6.2 file control block ad-hockery segment LIS second generation computer fascist get.com Trellis X SOAR universal thunk cycle crunch MB basename newbie Multiple Virtual Storage glark ELIZA effect passphrase XPL Sun Microsystems, Inc.ill-behaved sticky bit floating-point accelerator Memory Management Unit SETL2 sponge fandango on core software interrupt ABCL/R2 time shifting TELNET cable modem login go flatline Playstation Macintosh user interface MFLOPS Knowledge Analysis and Design System Bourne shell spool Get a real computer!Smart Battery Data SPEC CINT92 Hot Fix Automated Engineering Design library scripting language physical address file server Register Transfer Language file type cracker local exchange carrier Tiny Clos child process ELP terminal user interface Brooks's Law Project Guardian virgule SOS Interface Description Language simplex method eight-bit clean Dynamic Host Configuration Protocol Big bag of pages full laziness Multimedia Integrated Conferencing for European Researchers grep flat file

First < Previous 22 23 24 25 26 27 28 Next > Last