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

intuitionistic logic proof Nuprl constructive drool-proof paper four colour map theorem General Recursion Theorem Nightmare File System PRL exercise, left as an Clausal Language Operating System/360 file system system management Isabelle Tape Operating System system software cutover real operating system TABLOG OS natural language OS/2 Debian HOL deductive tableau IFS natural deduction BOS Virtual Machine System/360 System V System R An Evolutionary System for On-line Programming system call tight loop Disk Operating System embedded system fsck USL AS/400 hierarchical file system TOS system administration CTOS reverse engineering crash Object management system system UnixWare system testing network operating system fatal exception mount A/UX E-carrier system microkernel wheel bit Initial Program Load Distributed Data Management second-system effect desktop manager Job Entry System fatal error root microfortnight SL New Storage System Sue Knowledge Management System Macintosh Operating System NSS COLINGO ML Distributed Network Operating System exec Automatic Mathematical TRANslation spawn IRIX DTSS

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