VDict - Definition of higherorder 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 higherorder logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

LDL1 CLP Prolog-2 complex programmable logic device TAO CS-Prolog BABYLON DLP GAL sentence Muse iff Fleng Logic Replacement Technology CP operator GigaHertz TYPOL LGEN NOT LPS BNR Prolog Oc Prolog++nanocomputer RTL TypedProlog tautology CLP*KL0 northbridge complete theory MMI logic bomb CTL Spool definite clause lemma N-Prolog goal AdLog 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 SRL Prometheus negation by failure Mandala truth table Kernel Parlog KAP REFINE Turbo Prolog OR TTL Sequel Delta-Prolog Boolean Logic Design Language Uranus inference Haskell Curry implies southbridge paradox MRS

First < Previous 1 2 3 4 5 Next > Last

Copyright © 2004-2016 VDict.com