VDict - Definition of Proof procedures

search result for Proof procedures in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

intuitionistic logic proof Isabelle proof theory constructive drool-proof paper four colour map theorem General Recursion Theorem Record Management Services PRL exercise, left as an PL/I Idealized CSP natural deduction monitor Trilogy ML Cantor REF-ARF philosophy X.29 DoD-STD-2168 Logic for Computable Functions axiom earthquake Basic Programming Support PROOF/L Sue BASIC V Internet Security Association and Key Management Protocol lemma epsilon user-friendly Baroque LEAP recursive descent parser room-temperature IQ penis war MODEL selector static nested scope prime number theorem Macintrash methodology metalanguage Clausal Language PPLambda Embedded Mode Optical Character Recognition Software Verification Research Centre menuitis countable documentation Flex keyword Nuprl open/closed principle point-and-drool interface last call optimisation Fortran encapsulation TABLOG LPG formal methods natural language toy language HOL deductive tableau Euclid communication system MANTIS ALGOL 68 function induction Extended Tiny module RTL/2 Graphics Language Object System Fermat prime lexical scope

First < Previous 1 2 Next > Last