VDict - Definition of proof tool

search result for proof tool in Computing (FOLDOC) dictionary

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

intuitionistic logic proof constructive drool-proof paper four colour map theorem ANother Tool for Language Recognition B-Toolkit Software Verification Research Centre General Recursion Theorem Isabelle PRL Cyclo deductive tableau Macromedia exercise, left as an GNU Privacy Guard Objecteering Stuffit Tool Builder Kit ASPECT PH fine adjuster tool tool bar packet sniffer Portable Common Tool Environment SES/workbench SAINT Windows 4GL Paintbrush Aegis SGML Tagger Cigale Dynamic Object-Oriented Requirements System natural deduction Physics Analysis Workbench I-OOA RoboHELP SEP Perl profiler GCT Teamwork James' DSSSL Engine toolsmith bigot Make routing B autoconf ML expect unzip Minnesota Internet Users Essential Tool Cantor grep Security Administrator's Integrated Network Tool Calc Advantage Gen Adaptor philosophy aard Logic for Computable Functions axiom PROOF/L PowerBuilder Purdue Compiler-Construction Tool Set lemma epsilon user-friendly Baroque SORCERER room-temperature IQ proof theory penis war prime number theorem Macintrash metalanguage Clausal Language PPLambda Optical Character Recognition

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