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

LPS NOT BNR Prolog Oc graph reduction Prolog++nanocomputer TypedProlog RTL tautology CLP*KL0 northbridge complete theory MMI logic bomb Spool N-Prolog definite clause lemma RSTS/E goal AdLog T-gen M-Prolog PDL LDT Cirrus Logic Fresh propositional calculus predicate calculus fuzzy computing Wesley Clark functional unit SASL+LV fixed point combinator PowerFuL ECL application server Quty CIRcuit CALculus Program Composition Notation SRL Prometheus negation by failure Mandala truth table Kernel Parlog KAP nondeterministic polynomial time REFINE Turbo Prolog OR TTL Sequel Delta-Prolog Boolean Logic Design Language Uranus inference Haskell Curry implies southbridge paradox complete inference system MRS neutrosophic statistics LYaPAS logical complement Extended Concurrent Prolog D-type flip-flop HASL Cube PPLambda fuzzy subset cognitive architecture Western Digital Corporation Intel 80186 Modular Prolog REGTRAL

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