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

First < Previous 1 2 3 4 5 Next > Last

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

First < Previous 1 2 3 4 5 Next > Last

Copyright © 2004-2016 VDict.com