VDict - Definition of proof system

search result for proof system in Computing (FOLDOC) dictionary

First < Previous 24 25 26 27 28 29 30 Next > Last

vannevar knowledge Whetstone Unix brain damage line starve C+@Advanced SCSI Peripheral Interface Direct Inward Dialing database windows messaging PowerPC Platform Motorola 68010 HyperTalk mutex Portable Document Format Transport Layer Interface flavour pnambic sml2c Bezier curve menu Moscow ML synchronous key encryption Texinfo data KEE icon Microsoft Basic tweening MicroGnuEmacs symbolic mathematics one-way hash function Domain Name System Emacs Rate monotonic scheduling misfeature Scheme-to-C magic cookie Internet Open Trading Protocol Simultaneous Peripheral Operation On-Line blivet two-valued logic Open Graphics Library Extension Language Kit Shub-Internet Business Application Programming Interface nslookup re-entrant Oracle Corporation funny money infobot luser Wide Area Information Servers IntelDX4 gzip LUCID Ox NIL Multimedia Personal Computer CompuServe Information Service Thinking Machines Corporation delta reduction beta testing background protected mode IEEE Floating Point Standard Trilogy demand paging Online Computer Library Center, Inc.closure Expanded Memory Specification Berkeley Software Design, Inc mung Lambda Prolog copy and paste Institute of Electrical and Electronics Engineers, Inc.Unified Modeling Language callback bounce shared memory

First < Previous 24 25 26 27 28 29 30 Next > Last