VDict - Definition of first-order logic

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

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

metalanguage AND Echidna fact IC-Prolog Goedel FUNLOG LEAF CELP resolution glue Sequential Parlog Machine Oz CLP(sigma*)Boolean algebra paraconsistent probability Z neutrosophic probability model checking tautological probability Charme LIFE Transistor-Transistor Logic combinatory logic George Boole CLP(R)APPLOG induction LPG fuzzy logic combinator network byte order three-tier order-embedding Xilinx, Inc.Xilinx Netlist Format EPILOG tautological set ASCIIbetical order asynchronous logic fix ELP A'UM Constraint Logic Programming Parlog++PAL logic gate instantiation Goffin Neutrosophy data flow analysis neutrosophic set Hollerithabetical order scan design Baudotbetical order abduction backing store ML unification horizontal encoding central processing unit constructive pre-order Interest Group in Pure and Applied Logics vertical encoding stacking order reduction strategy Triton parallel reduction lambda-calculus first-order Trilogy Laboratory INstrument Computer normal order reduction scan register handwave isomorphism mode client-server occurs check

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