VDict - Definition of Hennessy-Milner Logic

Dictionary
Translation

Tools
About
- About
- FAQ
- Privacy policy
- Contact us
Options
Tiếng Việt

Lookup

Computing (FOLDOC)

English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese

Translate now

Search in: Word

Vietnamese keyboard: Off

Virtual keyboard: Show

Translation

powered by

search result for Hennessy-Milner Logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

LTL LCF intuitionism GTL PLD PLC Ponder DACAPO LDL1 CLP Prolog-2 complex programmable logic device TAO CS-Prolog BABYLON DLP sentence GAL Muse iff generic type variable Fleng Logic Replacement Technology CP operator GigaHertz TYPOL LGEN NOT LPS BNR Prolog Oc Prolog++nanocomputer TypedProlog RTL tautology KL0 CLP*northbridge complete theory MMI logic bomb CTL Spool N-Prolog definite clause lemma goal AdLog M-Prolog PDL LDT Cirrus Logic Fresh predicate calculus fuzzy computing propositional calculus Wesley Clark functional unit SASL+LV PowerFuL fixed point combinator ECL application server Quty CIRcuit CALculus SRL Prometheus negation by failure truth table Mandala Kernel Parlog KAP REFINE Turbo Prolog OR TTL Sequel Delta-Prolog

First < Previous 1 2 3 4 5 Next > Last

Copyright © 2004-2016 VDict.com