VDict - Definition of proof system

search result for proof system in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 7 Next > Last

Eden COMIS RTS Media Gateway Control Protocol B-Toolkit batch processing colour model Interactive System Productivity Facility application program process identifier GEORGE 3 Sprite MiNT directory Selective Dissemination of Information DOS/360 MS-DOS SDL MEROON Continuous System Simulation Language Klerer-May System Edinburgh Multi Access System Project Athena reliability SAS emulation discussion group TPS graph rewriting system knowledge-based system toast root directory Intermediate System-Intermediate System user name MAS YAPS overclocking lemma Mandala Valencia Simple Tasker inode xterm JES3 JES2 PL-6 Lan Manager ALADIN tunafish Ontic TYMCOM-X acceptance testing Extended System Configuration Data PL/PROPHET epsilon Debbugs CPS Virtual Machine Environment Unix System V name resolution runic macrology Windows CE CSS/II Language for the On-Line Investigation and Transformation of Abstractions System F Correlatives and Conversions HCS DFS expert system user-friendly Customer Relationship Management Baroque System 7.5 S3 BUGSYS Unix International 5ESS Switch Time Sharing Option wizard mode feedback

First < Previous 1 2 3 4 5 6 7 Next > Last