VDict - Definition of proof system

search result for proof system in Computing (FOLDOC) dictionary

First < Previous 3 4 5 6 7 8 9 Next > Last

FGL signal Internet Corporation for Assigned Names and Numbers NAPSS X11R6 Gentleman's Portable Coroutine System T.H.E EXEC 8 MPSX boot block IS-IS UN*X window system guru meditation Multi-tasking Program for Microcomputers Lisp Object-Oriented Programming System Software Verification Research Centre hard boot AEGIS GNU Problem Report Management System epoch MODEL Le-Lisp Windows NT descriptor Generic Expert System Tool menuitis chain Broadway boot Network extensible Window System IDMS RFC 1938 Donald Knuth Dynamic Drive Overlay Function Point Analysis Cellular well-behaved Prospero data dictionary Prolog/Mali FS Opportunity Management System System Control Language ITHACA HP-UX countable documentation Lorenz attractor XFree86 Project, Inc.dweeb alt File Allocation Table page fault nonlinear snark remote echo OS/VS2 point-and-drool interface cooperative multitasking Version 7 Reliability, Availability, Serviceability finger memory management ERGO-Shell ITS firewall code dynamic database management system Xerox Data Systems Model 940 3DO pathname Short Message Service Common LISP Object System Netware Input/Output Subsystem permission swap file wabbit checkpoint in-band virtual machine

First < Previous 3 4 5 6 7 8 9 Next > Last