VDict - Definition of Computational Tree Logic

search result for Computational Tree Logic in Computing (FOLDOC) dictionary

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

fact MELDC IC-Prolog Goedel LEAF CELP glue Sequential Parlog Machine CLP(sigma*)Boolean algebra paraconsistent probability neutrosophic probability model checking tautological probability Charme LIFE channel service unit TPS Isabelle Transistor-Transistor Logic combinatory logic George Boole TABLOG CLP(R)APPLOG fuzzy logic HiLog three-tier Xilinx, Inc.dead tree Xilinx Netlist Format EPILOG tautological set game tree asynchronous logic tree Wild_LIFE ELP A'UM binary tree Constraint Logic Programming computational learning link farm Parlog++CFD PAL logic gate grammatical inference Algorithmic Test Case Generation PLITS logic programming instantiation computational geometry Neutrosophy neutrosophic set tree-killer scan design ACL abduction search problem Xi unification horizontal encoding central processing unit constructive treeware vertical encoding CSG-tree Triton algebraic data type normal order reduction ply SORCERER polynomial-time algorithm Trilogy expression tree Laboratory INstrument Computer syntax tree crayon BRUIN

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