VDict - Definition of higher-order logic

search result for higher-order logic in Computing (FOLDOC) dictionary

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

PPLambda Baroque LUCID overclocking proof theory logic variable assertion Lambada-Calculus Pandora Obliq Gottlob Frege Boolean logic temporal logic GAPLog SFLV deductive database bottom-up implementation map PRL BeBOP Parlog metalanguage AND Echidna L0 fact IC-Prolog Goedel FUNLOG LEAF Bird-Meertens Formalism CELP resolution ALLOY glue Sequential Parlog Machine EMM386 Extensible Shell CLP(sigma*)Boolean algebra paraconsistent probability Z Language for Communicating Systems neutrosophic probability Ratatosk model checking tautological probability Charme LIFE least fixed point filter combinatory logic George Boole CLP(R)APPLOG FP induction LPG UFO fuzzy logic combinator network byte order three-tier order-embedding Xilinx, Inc.Xilinx Netlist Format EPILOG tautological set ASCIIbetical order asynchronous logic Church integer reverse engineering Concurrent ML ELP A'UM abstraction Skel-ML Constraint Logic Programming Similix 6.001

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