VDict - Definition of symbolic logic

search result for symbolic logic in Computing (FOLDOC) dictionary

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

SFLV shortcut PRL Parlog metalanguage AND Echidna fact IC-Prolog Goedel FUNLOG LEAF CELP glue Sequential Parlog Machine CLP(sigma*)Boolean algebra paraconsistent probability neutrosophic probability model checking tautological probability Charme LIFE channel service unit Isabelle Transistor-Transistor Logic combinatory logic TABLOG CLP(R)APPLOG fuzzy logic HiLog three-tier Xilinx, Inc.Xilinx Netlist Format EPILOG tautological set asynchronous logic Wild_LIFE ELP A'UM Constraint Logic Programming Parlog++PAL logic gate Stephen Kleene logic programming instantiation Neutrosophy neutrosophic set scan design abduction unification horizontal encoding central processing unit SPS constructive STENSOR SNOBOL vertical encoding LISP, Objects, and Symbolic Programming Triton artificial intelligence Mathcad Nother Magic Paper symlink SYLK SYMBOLIC ASSEMBLY Trilogy String EXpression Interpreter TRIGMAN Laboratory INstrument Computer Cyc MAO Algebraic Manipulation Package REG-SYMBOLIC Ashmedai CCalc ORTHOCARTAN

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