VDict - Definition of proof system

search result for proof system in Computing (FOLDOC) dictionary

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

IAM SCANDISK string reduction Class Oriented Ring Associated Language scrool Steve's Shell wall clock time Versa Module Europa Windows NT 3.1 Windows NT 3.5 Defense Data Network Network Information Center Digital Simulation Language zen balanced computing for free blitter event-driven Internet Registry agent frame rate theology deterministic job bulletin board control-O VPL METAFONT Concurrent Oberon POSTQUEL Jini named pipe Online Public Access Catalog Grapes supervisor mode talk mode su Simulation Oriented Language requirements Accounting File ADABAS Zed Iota DDL quiesce time Windows for Workgroups pathname separator A-0 xnf2ver real user configuration management on-line NeXT, Inc.RISC System/6000 State University of New York leak functional requirements Storage Management Services METAL Plain Old Telephone Service Directory Access Protocol TeX Distributed Computing Environment terminal emulator Feel marbles control-C microelectromechanical system CyberWand hacked off Taligent Active Language I ThingLab bells and whistles hierarchical database propositional logic B-Method SCL nude RAM disk tune

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