VDict - Definition of formal system

search result for formal system in Computing (FOLDOC) dictionary

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

HOL Run-Time Type Information flag day Microsoft Windows nastygram Windows NT Network Model Berkeley Software Distribution input device SpoolView voodoo programming hang Desktop Management Interface trigger overloading incremental constraint solver plumbing Peano arithmetic Magma Extensible Shell Electrically Erasable Programmable Read-Only Memory COGENT parallel port nibble PILE Intel 487SX queue deductive tableau Hungry ViewKit Universal Communications X religious issues Computer Output to Laser Disk clone elephantine DDS POPLOG Pleuk grammar development system MACSYMA modal 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

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