VDict - Definition of dynamic logic

search result for dynamic logic in Computing (FOLDOC) dictionary

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

Prolog-2 complex programmable logic device TAO CS-Prolog BABYLON DLP GAL sentence Muse iff Fleng Logic Replacement Technology scope CP Atlas Autocode operator Synchronous Dynamic Random Access Memory GigaHertz TYPOL LGEN NOT LPS arena BNR Prolog Oc Dynamic Drive Overlay Gensym Corporation Prolog++EuLisp nanocomputer VisualWorks RTL TypedProlog tautology KL0 CLP*northbridge chase pointers complete theory XT bus architecture component architecture Estelle MMI logic bomb Single Data Rate Synchronous Dynamic Random Access Memory CTL Extended Data Out Random Access Memory Spool N-Prolog lemma definite clause Fortran 90 goal AdLog M-Prolog LDT Cirrus Logic static analysis Fresh predicate calculus propositional calculus fuzzy computing Amber Wesley Clark functional unit SASL+LV Xerox Data Systems Model 940 SNOBOL4 fixed point combinator PowerFuL ECL application server Quty Finagle's Law CIRcuit CALculus hello packet Single Data Rate Random Access Memory SRL Prometheus negation by failure

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