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

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

OBJ O-Logic accumulator EQLOG OBJ0 Simulating Digital Systems MALI PLTL CPLD applicative order reduction complexity analysis Ironman ET ALF mill LOTIS Sure ALU reduction MegaHertz Programmable Logic Controller Probe Very Large Scale Integration HCPRVR Logic for Computable Functions LDL Prolog axiom PLC LCF IIL LTL GTL PLD intuitionism DACAPO LDL1 CLP Prolog-2 complex programmable logic device TAO CS-Prolog lazy evaluation BABYLON DLP sentence GAL 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 MMI logic bomb CTL Spool definite clause N-Prolog lemma AdLog goal M-Prolog PDL

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

Copyright © 2004-2016 VDict.com