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

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

LCF PLD IIL DACAPO LDL1 CLP Prolog-2 complex programmable logic device TAO CS-Prolog bit pattern lazy evaluation BABYLON DLP GAL sentence iff Muse Fleng Logic Replacement Technology CP operator fall forward GigaHertz FLUB TYPOL LGEN NOT LPS BNR Prolog Oc Prolog++Higher Education National Software Archive nanocomputer TypedProlog RTL Intermediate Programming Language tautology KL0 CLP*northbridge POFAC complete theory MMI logic bomb CTL Spool definite clause lemma N-Prolog AdLog goal Genken Programming Language MIPS R4000 M-Prolog PDL LDT Cirrus Logic propositional calculus fuzzy computing predicate calculus Wesley Clark HIMEM a1 functional unit SASL+LV Haskell Very high bit-rate Digital Subscriber Line workstation fixed point combinator PowerFuL ECL application server Quty dirty power CIRcuit CALculus Opal SRL QEMM386 Prometheus

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

Copyright © 2004-2016 VDict.com