VDict - Definition of Propositional Dynamic Logic

search result for Propositional Dynamic Logic in Computing (FOLDOC) dictionary

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

truth table Mandala Kernel Parlog KAP Active Server Pages REFINE Turbo Prolog OR TTL Sequel Delta-Prolog Dynamic HTML Boolean Logic Design Language Uranus QTRADER Asynchronous Transfer Mode Automated Engineering Design library Minnesota Internet Users Essential Tool inference MDL Haskell Curry implies southbridge paradox MRS complete inference system neutrosophic statistics LYaPAS logical complement D-type flip-flop Extended Concurrent Prolog HASL Dynamic Host Configuration Protocol Cube PPLambda fuzzy subset cognitive architecture Western Digital Corporation Intel 80186 Modular Prolog Ellie REGTRAL Very Long Instruction Word converse most general unifier pm2 Conjunctive Normal Form Thomas static database management system LAURE Andorra-I Java white box testing Iburg QLOG real estate Leda Strand applicative language transistor backward chaining deductive database gate Loglan'82 BeBOP Concurrent ML Standard ML of New Jersey ALGOL 68 knapsack problem Generic Expert System Tool static random access memory Polka ones complement Qu-Prolog Kevo Oaklisp ALLIANCE Cedar

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